Create ProofChecker.java