Update ReservedInteger.java