Changes to AVLTree.java