8193072: File.delete() should remove its path from DeleteOnExitHook.files

[Brian Burkhalter]

Hi Roger,

You might be correct but I wrote up a different version at the end of yesterday. Not sure it is right but I might as well post it:

http://cr.openjdk.java.net/~bpb/8193072/webrev.01/

Thanks,

Brian

> On Jul 9, 2019, at 7:34 AM, Roger Riggs <Roger.Riggs at oracle.com> wrote:
> 
> The sequence described is the specified behavior of the API, whether it is a developer mistake or not is unknowable but it would be a compatibility issue to change it. The filename is the key and there is no way to determine if it is the original file or a replacement. deleteOnExit Wins!