public String getExportFileFormatNameForExtension(String extension) {
		String lowerCaseExtension = extension.toLowerCase();
		for (int i = 0, limit = exporters.size(); i < limit; i++) {
			SaveFileFormat format = (SaveFileFormat) exporters.get(i);
			if (format.extensionExists(lowerCaseExtension)) {
				return (String) exporterNames.get(i);
			}
		}
		
		int index = exporters.indexOf(getDefaultExportFileFormat());
		
		if (index == -1) {
			index = exporters.indexOf(getDefaultSaveFileFormat());
		}
		return (String) exporterNames.get(index);
	}