Summary

Add the field JAVA_RUNTIME_VERSION to the release file. This field is equivalent to the version string given in an invocation of java -fullversion. (Note: the output of Runtime::version() was used instead in later release trains.)

Problem

The release file in $JAVA_HOME/release has a field JAVA_VERSION giving the version number and a pre-release identifier. The release file does not contain further build information about the JDK image, which could be useful to have.

Solution

Add the JAVA_RUNTIME_VERSION field to the release file.

Specification

Add the field JAVA_RUNTIME_VERSION="$(VSTR)" in $JAVA_HOME/release file, where $(VSTR) is the version string given by JDK_Version::runtime_version(), and given in java -fullversion.