On Sun, 6 Sep 2020 10:56:44 GMT, Alan Bateman <al...@openjdk.org> wrote:
> The URL creation isn't technically right as you can't reliably use a file
> path string as a URL path. Something like the
> following would be more correct:
URL url = Path.of(System.getProperty("java.io.tmpdir")).toUri().toURL();
I've now updated the PR to fix this.
> Also minor nit but importing java.net.URL and not URLConnection is a bit
> strange.
Sorry, that wasn't intentional. Not sure how I managed to do that. I've
included this change in the updated PR.
-------------
PR: https://git.openjdk.java.net/jdk/pull/26
