docs: private File toFile(final URL url) {
          // only correct way to convert the URL to a File object, also see issue #16
          // Do not use URLDecoder
          try {
              return new File(url.toURI());
          } catch (URISyntaxException ex) {
              // we do not expect an URISyntaxException here
              throw new AssertionError("Unable to convert URI to File: " + url);
          }
      }