public static URL fromJavaURL(java.net.URL url) {
    """
	Construct a URL from a {@link java.net.URL}.
	
	@param url
	@return
    """
        //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);
        }
    }
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);
        }
    }
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 ) ; } }
Construct a URL from a {@link java.net.URL}.

@param url
@return
Construct a URL from a { @link java . net . URL } .