public void writeExternal(@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);
    }
  }
public void writeExternal(@NotNull Element element)