[ping] 8179320: File.getUsableSpace() returns a negative number on very large file system

[Brian Burkhalter]

> Begin forwarded message:
> 
> From: Brian Burkhalter <brian.burkhal...@oracle.com>
> Subject: 8179320: File.getUsableSpace() returns a negative number on very 
> large file system
> Date: November 1, 2019 at 5:13:28 PM PDT
> To: Core-Libs-Dev <core-libs-dev@openjdk.java.net>
> 
> For this issue [1], please review this patch [2] and the corresponding CSR 
> [3].
> 
> Thanks,
> 
> Brian
> 
> [1] https://bugs.openjdk.java.net/browse/JDK-8179320
> [2] http://cr.openjdk.java.net/~bpb/8179320/webrev.00/
> [3] https://bugs.openjdk.java.net/browse/JDK-8233426