Rename checkpoint.java to Checkpoint.java