RFR: 8114830: (fs) Files.copy fails due to interference from something else changing the file system [v4]

[Brian Burkhalter]

On Fri, 4 Aug 2023 17:16:07 GMT, Alan Bateman <alanb at openjdk.org> wrote:

>> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   8114830: Add flags.replaceExisting to check for FileSystemException
>
> test/jdk/java/nio/file/Files/CopyInterference.java line 143:
> 
>> 141:             results[i] = es.submit(copyTask);
>> 142: 
>> 143:         es.close();
> 
> You can use try-with-resources with ExecutorService to ensure that it is closed the event of an exception.

So changed in 541f36b2aa1c2f530cf1280e9b68628d6ff1c869.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15141#discussion_r1284688960