@Override
      public URL fun(File f) {
        try {
          return f.toURI().toURL();
        }
        catch (MalformedURLException e) {
          throw new AssertionError(e);
        }
      }
@Override
      public URL fun(File f)