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 boolean fsNormalizesPosixSeparator concode_elem_sep boolean fsIsIgnoreCase concode_field_sep File absoluteFile concode_elem_sep IOException toIOException concode_elem_sep String canonicalPath concode_elem_sep String canonicalPath concode_elem_sep boolean exists concode_elem_sep String absolutePath concode_elem_sep void delete concode_elem_sep File canonicalFile concode_elem_sep File canonicalFile concode_elem_sep String canonicalOrAbsolutePath
void function ( String arg0 , String arg1 ) { try { if ( exists ( arg0 ) ) { delete ( arg1 ) ; File loc0 = new File ( arg0 ) ; loc0 . renameTo ( new File ( arg1 ) ) ; } } catch ( Throwable loc0 ) { throw toIOException ( loc0 ) ; } }