Update IntegerSizeFilter.java