MR MaxInt.java fix