Summary

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

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 23 as a valid argument to the options in question.

Specification

Add support for javac -source 23 ..., and javac -target 23 ..., and javac --release 23 ....

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.