Summary

Add -source and -target and --release options to javac corresponding to JDK 19.

Problem

Part of starting development on a new JDK is adding .new -source and -target options to javac. These options are used in the compilation of the JDK sources.

Solution

Add 19 as a valid argument to the options in question.

Specification

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.