RFR: 8249693: java/nio/channels/FileChannel/FileExtensionAndMap.java uses @ignore w/o bug id [v2]

[Matthew Donovan]

On Sun, 13 Nov 2022 16:51:50 GMT, Andrey Turbanov <aturbanov at openjdk.org> wrote:

>> Matthew Donovan has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   added requires/fixed formatting
>
> test/jdk/java/nio/channels/FileChannel/FileExtensionAndMap.java line 146:
> 
>> 144:             for (Path p : List.of(destinationPath, tmpDir)) {
>> 145:                 long usableDiskSpace = Files.getFileStore(p).getUsableSpace();
>> 146:                 if(usableDiskSpace < totalDiskSpaceNeeded) {
> 
> Suggestion:
> 
>                 if (usableDiskSpace < totalDiskSpaceNeeded) {

changed, thanks.

-------------

PR: https://git.openjdk.org/jdk/pull/11028