Update IntPair.java