public boolean removeExportFormat(String formatName) {
		int index = indexOfName(formatName, exporterNames);
		if (index >= 0) {
			exporterNames.remove(index);
			exporters.remove(index);
			
			// Also remove it from the list of formats stored in the preferences
			Preferences.FILE_FORMATS_EXPORT.remove(index);
			
			return true;
		}
		return false;
	}