Integrated: 8306678: Replace use of os.version with an internal Version record

[Roger Riggs]

On Fri, 21 Apr 2023 16:44:13 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

> Create an internal Version record to hold and compare versions of the form (major, minor, micro).
> Add `OperatingSystem.version()` to return the version of the running OS.
> Replace uses of os.version in java.base.
> Subsequent PRs will apply to uses in other modules including, jdk.jlink, jdk.jpackage, and java.desktop.

This pull request has now been integrated.

Changeset: 6acf032d
Author:    Roger Riggs <rriggs at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6acf032db891875c6a7403a18d5dc7c552fb4c11
Stats:     285 lines in 6 files changed: 268 ins; 10 del; 7 mod

8306678: Replace use of os.version with an internal Version record

Reviewed-by: mchung

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

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