void (@NotNull String toolName, @NotNull Element element) { //add marker if already merged, but the result is now default (-> empty node) String mergedName = InspectionElementsMergerBase.getMergedMarkerName(toolName); if (!myUninitializedSettings.containsKey(mergedName)) { InspectionElementsMergerBase merger = getMerger(toolName); if (merger != null && merger.markSettingsMerged(myUninitializedSettings)) { element.addContent(new Element(INSPECTION_TOOL_TAG).setAttribute(CLASS_TAG, mergedName)); } } }