[jdk13u-dev] RFR: 8253702: BigSur version number reported as 10.16, should be 11.nn

[Olga Mikhaltsova]

I'd like to backport JDK-8253702 to jdk13u for parity with jdk11u.
The original patch applied cleanly.
Tested with a simple test printing OS version on macOS Big Sur:

public class Main {
    public static void main(String[] args) {
        System.out.println(System.getProperty("os.version"));
    }
}

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

Commit messages:
 - Backport 66757750a2adf0739d0f5bf98a3f50a123b7adcf

Changes: https://git.openjdk.java.net/jdk13u-dev/pull/277/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk13u-dev&pr=277&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8253702
  Stats: 30 lines in 1 file changed: 22 ins; 2 del; 6 mod
  Patch: https://git.openjdk.java.net/jdk13u-dev/pull/277.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk13u-dev pull/277/head:pull/277

PR: https://git.openjdk.java.net/jdk13u-dev/pull/277