String () { 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(); }