public String toString() {
    StringBuilder buf = new StringBuilder();
    String sep = System.lineSeparator();
    buf.append("Stack: ").append(myNamespaces.size()).append(sep);
    for (NamespaceInfo info : myNamespaces) {
      buf.append(info).append(sep);
    }
    return buf.toString();
  }
public String toString()