Update CheckPredecessor.java