Updated IntegerSet.java