On Tue, 8 Aug 2023 21:04:52 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Amend description of when `DirectoryNotEmptyException` is thrown by `Files::move`. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/15199