java_io_File constructor

java_io_File()