void (@NotNull Element element) { List<HighlightSeverity> list = getAllSeverities(); for (HighlightSeverity severity : list) { Element info = new Element(INFO_TAG); String severityName = severity.getName(); SeverityBasedTextAttributes infoType = getAttributesBySeverity(severity); if (infoType != null) { infoType.writeExternal(info); Color color = myRendererColors.get(severityName); if (color != null) { info.setAttribute(COLOR_ATTRIBUTE, Integer.toString(color.getRGB() & 0xFFFFFF, 16)); } element.addContent(info); } } //noinspection deprecation JDOMExternalizableStringList readOrder = myReadOrder; if (readOrder != null && !readOrder.isEmpty()) { readOrder.writeExternal(element); } else if (!getDefaultOrder().equals(list)) { Object2IntMap<HighlightSeverity> orderMap = getOrderMap(); //noinspection deprecation JDOMExternalizableStringList ext = new JDOMExternalizableStringList(Collections.nCopies(orderMap.size(), "")); for (Object2IntMap.Entry<HighlightSeverity> entry : getOrderMap().object2IntEntrySet()) { ext.set(entry.getIntValue(), entry.getKey().getName()); } ext.writeExternal(element); } }