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