new java_io_File( x$1 // java.net.URI )
new java_io_File( x$1 // java.lang.String:String )
new java_io_File( x$1, // java.io.File x$2 // java.lang.String:String )
new java_io_File( x$1, // java.lang.String:String x$2 // java.lang.String:String )