public String getOpenFileFormatNameForExtension(String extension) {
		String lowerCaseExtension = extension.toLowerCase();
		for (int i = 0, limit = openers.size(); i < limit; i++) {
			OpenFileFormat format = (OpenFileFormat) openers.get(i);
			if (format.extensionExists(lowerCaseExtension)) {
				return (String) openerNames.get(i);
			}
		}
		
		int index = openers.indexOf(getDefaultOpenFileFormat());
		return (String) openerNames.get(index);
	}