@Override
  public @Nullable String toString(@NotNull TreeState value) {
    final Element element = new Element("treeState");
    value.writeExternal(element);
    return JDOMUtil.writeElement(element);
  }
@Override
  public @Nullable String toString(@NotNull TreeState value)