public String getSaveFileFormatNameForExtension(String extension) {
		String lowerCaseExtension = extension.toLowerCase();
		for (int i = 0, limit = savers.size(); i < limit; i++) {
			SaveFileFormat format = (SaveFileFormat) savers.get(i);
			if (format.extensionExists(lowerCaseExtension)) {
				return (String) saverNames.get(i);
			}
		}
		
		int index = savers.indexOf(getDefaultSaveFileFormat());
		return (String) saverNames.get(index);
	}