Searched refs:backupFile (Results 1 – 1 of 1) sorted by relevance
868 File backupFile = new File(file.getParentFile(), file.getName() + '~'); in makeBackup() local869 if (backupFile.exists()) { in makeBackup()870 backupFile.delete(); in makeBackup()872 return file.renameTo(backupFile); in makeBackup()