public boolean addSaveFormat(String formatName, SaveFileFormat format) {
		if (isNameUnique(formatName, saverNames)) {
			format.setName(formatName);
			saverNames.add(formatName);
			savers.add(format);
			
			// Also add it to the list of formats stored in the preferences
			Preferences.FILE_FORMATS_SAVE.add(formatName);
			
			return true;
		}
		return false;
	}