On 01/04/2025 20:09, Eirik Bjørsnøs wrote:
As a general point, neither method is correct when converting from a file URL to a file path. Much of the code here goes back to JDK 1.2 so we have to be careful with any changes.:Looking at the Windows implementation of sun.net.protocol.www.file.Handler, it indeed uses URL::getFile when constructing the file path, while the unix implementation uses URL::getPath.
-Alan