final FileFormat format = allFormats.getFormatForPUID(resultPUID); if (format.getNumExtensions() > 0) { results.setExtensionMismatch(true); break; final FileFormat format = allFormats.getFormatForPUID(resultPUID); if (format.hasExtensionMismatch(fileExtension)) { results.setExtensionMismatch(true); break;