Summary

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

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

Specification

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

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.