8201407: Files.move throws DirectoryNonEmptyException when moving directory across file system

[Alan Bateman]

On 05/06/2018 01:37, Brian Burkhalter wrote:
>
>
> That is in effect how I did it on Windows. I thought the more 
> cumbersome Unix implementation might be a tad faster. I have modified 
> the Unix implementation to be like the one I already had on Windows.
>
> http://cr.openjdk.java.net/~bpb/8201407/webrev.03/index.html 
> <http://cr.openjdk.java.net/%7Ebpb/8201407/webrev.03/index.html>
>
This version looks okay.

-Alan