void (DomElementAnnotationHolder holder, Separator separator) { if (!DomUtil.hasXml(separator.getText())) return; final BuildNumber buildNumber = PluginPlatformInfo.forDomElement(separator).getSinceBuildNumber(); if (buildNumber != null && buildNumber.getBaselineVersion() >= 202) { holder.createProblem(separator, ProblemHighlightType.GENERIC_ERROR_OR_WARNING, DevKitI18nBundle.message("inspections.plugin.xml.i18n.key"), null, new SeparatorKeyI18nQuickFix()); } }