Fixes for PR #248
Fixes for PR #248

Fix bug in bugfix 1c611dd: as pointed out in comments on PR #248, the change made in that commit caused the oldest, not newest, checkpoint to be loaded at startup.

google/CodeCity,google/CodeCity,google/CodeCity,NeilFraser/CodeCity,google/CodeCity,NeilFraser/CodeCity,NeilFraser/CodeCity,NeilFraser/CodeCity