Update ProofSoFar.java