Update ConsTree.java