Update ExpTree.java