Update ProofTest.java