RFR: 8303485: Replacing os.name for operating system customization [v4]

[Roger Riggs]

On Tue, 14 Mar 2023 18:21:33 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> Improvements to support OS specific customization for JDK internal use:
>>  - To select values and code; allowing elimination of unused code and values
>>  - Optionally evaluated by build processes, compilation, or archiving (i.e. CDS)
>>  - Simple API to replace adhoc comparisons with `os.name`
>>  - Clear and consistent use across build, runtime, and JDK modules
>>  
>> The PR includes updates within java.base to use the new API.
>
> Roger Riggs has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Cover default case in switch on OS.

Please review the revisions.

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

PR Comment: https://git.openjdk.org/jdk/pull/12931#issuecomment-1480241882