Update ProofTree.java