new java_net_URI( x$1 // java.lang.String:String )
new java_net_URI( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3 // java.lang.String:String )
new java_net_URI( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3, // java.lang.String:String x$4 // java.lang.String:String )
new java_net_URI( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3, // java.lang.String:String x$4, // java.lang.String:String x$5 // java.lang.String:String )
new java_net_URI( x$1, // java.lang.String:String x$2, // java.lang.String:String x$3, // java.lang.String:String x$4, // java.lang.Int:Int x$5, // java.lang.String:String x$6, // java.lang.String:String x$7 // java.lang.String:String )