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