jtreg should use `sw_vers -productVersion` instead of `defaults read loginwindow SystemVersionStampAsString ` to get the official OS version.
See the comments in JDK-8293504 for the motivation.
See the comments in JDK-8293504 for the motivation.