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
