String () { // for debugging only final StringBuilder buf = new StringBuilder(); buf.append("["); for (final Node node : myNodes) { if (buf.length() > 1) { buf.append(", "); } buf.append(node.toString()); } buf.append("]"); return buf.toString(); }