Fixing a bug in AvlTreeTest.java