Update HashSet.java