@Override
  public String toString() {
    String s = super.toString();
    final IElementType type = getNode().getElementType();
    if (type != XmlElementType.HTML_EMBEDDED_CONTENT) s += ":" + type;
    return s;
  }
@Override
  public String toString()