Update SuccessorFunction.java