--release options to
javac corresponding to JDK 19.
Part of starting development on a new JDK is adding .new
-target options to
javac. These options are used in the compilation of the JDK sources.
19 as a valid argument to the options in question.
Add support for
javac -source 19 ..., and
javac -target 19 ..., and
javac --release 19 ....
The new value of -source/-target is also made the default.
As a consequence of adding support for the new argument to
javac, support is also added to
javadoc and the
java --source option.