Closed bengtmartensson closed 6 months ago
File.toURL() and URL("file",...) does not properly escape the naughty characters, File.toURI() does.
File.toURL() and URL("file",...) does not properly escape the naughty characters, File.toURI() does.