URI.createFileURI(url.getFile()) :
URI.createFileURI(URI.decode(url.getFile())) :
    protected static URI fix(URL url, String fragment) throws IOException    {      URI result =         "file".equalsIgnoreCase(url.getProtocol()) ?          URI.createFileURI(url.getFile()) :          URI.createURI(url.toString());      if (fragment != null)      {        result = result.appendFragment(fragment);      }      return result;    }