/** Returns the file used for backup the specified file in the edit command. */ public static File getEditBackupFile(File file) { return new File(file.getParent(), "CVS/Base/" + file.getName()); // NOI18N }