Rename ProofTest to ProofTest.java