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

[Brian Burkhalter]

Ping !

> Begin forwarded message:
> 
> From: Brian Burkhalter <brian.burkhalter at oracle.com>
> Subject: 8232271: java.io.File.get*Space() should be aligned to updated FileStore analog methods
> Date: October 17, 2019 at 10:35:46 AM PDT
> To: Core-Libs-Dev <core-libs-dev at openjdk.java.net>
> 
> 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