On Wed, 2 Jun 2021 18:17:43 GMT, Joe Wang <jo...@openjdk.org> wrote: > Special characters are different in File and URI. Treat File input as File > using FileInputStream instead of converting to an URI, but fall back to URI > in case of error for compatibility (in error handling).
Argh! You're right. It's this line which is horribly wrong: _ostream = new FileOutputStream(url.getFile()); OK - hopefully with your fix this becomes dead code? ------------- PR: https://git.openjdk.java.net/jdk/pull/4318
