Update HashTreeSet.java