public String getFileName(String fileExtension) { if (!fileNames.containsKey(fileExtension)) { fileNames.put(fileExtension, OutputSettings.checkName(getName(), fileExtension)); } return fileNames.get(fileExtension); }