Summary
-------

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

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

Specification
-------------

Add support for  `javac -source 25 ...`, and `javac -target 25 ...`, and `javac --release 25 ...`.

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.