void function ( String arg0 , String arg1 ) { try { if ( exists ( arg0 ) ) { delete ( arg1 ) ; File loc0 = new File ( arg0 ) ; loc0 . renameTo ( new File ( arg1 ) ) ; } } catch ( Exception loc3 ) { } }
rename the file with oldname to newname . do nothing if the oldname file does not exist . if a file named newname already exists , delete it before ranaming . concode_field_sep int COPY_BLOCK_SIZE concode_field_sep boolean exists concode_elem_sep void decompressFile concode_elem_sep void delete concode_elem_sep void compressFile