Correct Checkpoint.java