java-maxint: ba243ac07df57c693f0dc014fc920a57c68eb95d

     1: Integer overflow in Java