Minor changes to IntegerDuplicateOptimized.java