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

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