@Override
  public String toString() {
    String result = super.toString();
    if (myNode != null && myNode.isFlagSet(RangeHighlighterTree.RHNode.IS_PERSISTENT)) {
      result += "(persistent)";
    }
    return result;
  }
@Override
  public String toString()