Update SplayTreeSet.java