Update SplayTree.java