I'm surprised that even compiles!  Should be Integer.MIN_VALUE + 1 .  Or in this case HIGHEST_PRECEDENCE is appropriate.  I'm not sure HIGHEST_PRECEDENCE + 1 is that easy to understand though.