RFR: 8020199: (fs) Files.move() throws DirectoryNotEmptyException pointing to wrong directory (win)

[Alan Bateman]

On Wed, 9 Aug 2023 15:53:40 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> src/java.base/share/classes/java/nio/file/Files.java line 1414:
>> 
>>> 1412:      *          required to be moved and the target location is on a different
>>> 1413:      *          {@code FileStore} <i>(optional specific exceptions)</i>
>>> 1414:      * @throws  AtomicMoveNotSupportedException
>> 
>> I'm not sure about this change to the spec because there may be other reasons why entries might have to be moved, esp. when you get into exotic/custom file systems.
>
> So do you think try to refine this or withdraw the PR and manually resolve the issue?

Yes, I think we should just close the issue, assuming the exception is clear.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15199#discussion_r1288861218