RFR: JDK-8303476: Add the runtime version in the release file of a JDK image

Wed Mar 1 21:23:13 UTC 2023

On Wed, 1 Mar 2023 20:28:14 GMT, Mandy Chung <mchung at openjdk.org> wrote:

> `$JAVA_HOME/release` file currently includes `JAVA_VERSION` which is the version
> number plus the pre-release identifier for example "21-ea".

I can't actually find that in the current release file, but that shouldn't prevent us from adding the full version string.

-------------

PR: https://git.openjdk.org/jdk/pull/12813