Great! Since the J2SE 1.4 compiler seems like the best choice, I want to use it for all my Java programming even if my target runtime platform is an earlier version, just to benefit from such fixes ...

The Java JDK (Java Development Kit) is a software development environment that creates Java applications. It includes tools and libraries that enable developers to write, compile, and execute Java ...