public SeverityBasedTextAttributes unregisterSeverity(@NotNull HighlightSeverity severity) {
    severitiesChanged();
    return myMap.remove(severity.getName());
  }
public SeverityBasedTextAttributes unregisterSeverity(@NotNull HighlightSeverity severity)