void (DomElementAnnotationHolder holder, Extension extension, String effectiveQualifiedName, @Nullable Module module) { if (IdeErrorsDialog.ERROR_HANDLER_EP.getName().equals(effectiveQualifiedName)) { String implementation = extension.getXmlTag().getAttributeValue("implementation"); if (ITNReporter.class.getName().equals(implementation)) { IdeaPlugin plugin = extension.getParentOfType(IdeaPlugin.class, true); if (plugin != null) { Vendor vendor = plugin.getVendor(); if (DomUtil.hasXml(vendor) && PluginManagerCore.isDevelopedByJetBrains(vendor.getValue())) { highlightRedundant(extension, DevKitBundle.message("inspections.plugin.xml.no.need.to.specify.itnReporter"), ProblemHighlightType.LIKE_UNUSED_SYMBOL, holder); } else { boolean inPlatformCode = module != null && module.getName().startsWith("intellij.platform."); if (!inPlatformCode) { highlightRedundant(extension, DevKitBundle.message("inspections.plugin.xml.third.party.plugins.must.not.use.itnReporter"), holder); } } } } } }