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