void (@NotNull Element element) { mySerializer.readExternal(this, element); Element highlightElement = element.getChild(USED_LEVELS); if (highlightElement != null) { // from old profiles myProfileManager.getSeverityRegistrar().readExternal(highlightElement); } String version = element.getAttributeValue(VERSION_TAG); if (!VALID_VERSION.equals(version)) { List<InspectionToolWrapper<?, ?>> tools = getInspectionTools(null); for (Element toolElement : element.getChildren("inspection_tool")) { String toolClassName = toolElement.getAttributeValue(CLASS_TAG); String shortName = convertToShortName(toolClassName, tools); if (shortName == null) { continue; } toolElement.setAttribute(CLASS_TAG, shortName); myUninitializedSettings.put(shortName, JDOMUtil.internElement(toolElement)); } } else { for (Element toolElement : element.getChildren(INSPECTION_TOOL_TAG)) { myUninitializedSettings.put(toolElement.getAttributeValue(CLASS_TAG), JDOMUtil.internElement(toolElement)); } } }