Delete IntSet.java