code: public static URL fromJavaURL(java.net.URL url) {
          //TODO: Let's do this more efficient.
          try {
              return new URLParser(url.toString()).parse();
          } catch (GalimatiasParseException e) {
              // This should not happen.
              throw new RuntimeException("BUG", e);
          }
      }
docs: Construct a URL from a {@link java.net.URL}.
  
  @param url
  @return