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.ri...@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!
