199200201202203204205206207208209
} // Preserve source file's date if(destFile.isFileOperationSupported(FileOperation.CHANGE_DATE)) { try { destFile.changeDate(sourceFile.getDate()); } catch (IOException e) { LOGGER.debug("failed to change date of "+destFile, e); // Fail silently }