new java_net_URL( x$1 // java.lang.String:String )
new java_net_URL( x$1, // java.net.URL x$2 // java.lang.String:String )
new java_net_URL( x$1, // java.net.URL x$2, // java.lang.String:String x$3 // java.net.URLStreamHandler )
new java_net_URL( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3 // java.lang.String:String )
new java_net_URL( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3, // java.lang.Int:Int x$4 // java.lang.String:String )
new java_net_URL( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3, // java.lang.Int:Int x$4, // java.lang.String:String x$5 // java.net.URLStreamHandler )