RFR: CODETOOLS-7903184: Update OS version check

Thu May 12 22:48:07 UTC 2022

On Thu, 12 May 2022 21:12:02 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a small fix to be slightly more permissive in the check for the os.version property, and allow a double-dotted number (like 1.2.3) to be accepted as better than a single-dotted prefix (like 1.2).

Marked as reviewed by iris (Reviewer).

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

PR: https://git.openjdk.java.net/jtreg/pull/83