Update ProofChecker.java