Modified Checkpoint.java