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).
I now agree that what you propose is the safer route to fix this particular issue. ------------- Marked as reviewed by dfuchs (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/4318
