> I would like to push this simple fix into JDK 14 and follow-up in JDK 15 with an enhancement that > adds a general optimization for such integer checks: > https://bugs.openjdk.java.net/browse/JDK-8236721 That sounds ok to me. Roland.