8232271: java.io.File.get*Space() should be aligned to updated FileStore analog methods

[Brian Burkhalter]

For issue [1], please review the patch [2]. This change aligns the specifications of the File.get*Space() methods with their equivalents in java.nio.file.FileStore. This issue is related to [3] which is discussed in this thread [4].

Naturally a CSR would eventually be required.

Thanks,

Brian

[1] https://bugs.openjdk.java.net/browse/JDK-8232271
[2] http://cr.openjdk.java.net/~bpb/8232271/webrev.00/
[3] https://bugs.openjdk.java.net/browse/JDK-8162520
[4] http://mail.openjdk.java.net/pipermail/nio-dev/2019-October/006644.html