Update EmptyTree.java