Summary

Add -source and -target options to javac corresponding to JDK 13.

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 support for javac -source 13 ... and javac -target 13 ....

The new value of -source/-target is also made the default.

Note: following the precedent set in JDK 11, "1.13" is not treated as an alias for "13".

Specification

No update is needed in javac --help; the conceptual man page should reflect the increased range of -source/-target values.