provider. This is helpful when users also wish to force os.name to a
different value (e.g. Linux) but not being forced to also use the
Linux file system provider. This can be done by defining the property
java.nio.file.spi.DefaultFileSystemProvider.
This patch differs from the submitters in that the range of values are
restricted to the current known defaults.
PR: 173847
Submitted by: 4721 at hushmail.com