docs: private String genXML(Set nodes) throws IOException {
          Iterator it = nodes.iterator();
          StringBuffer buf = new StringBuffer(1024);
          buf.append(StateHelper.XML_DOC_START);
          buf.append(getSynchInterval());
          buf.append(StateHelper.XML_DOC_START_END);
          while (it.hasNext()) {
              Node n = (Node) it.next();
              buf.append(StateHelper.XML_NODE_TAG_START);
              buf.append(StateHelper.encodeMACAddress(n.getNodeIdentifier()));
              buf.append(StateHelper.XML_NODE_TAG_AFTER_ID);
              buf.append(n.getClockSequence());
              buf.append(StateHelper.XML_NODE_TAG_AFTER_CSEQ);
              buf.append(n.getLastTimestamp());
              buf.append(StateHelper.XML_NODE_TAG_END);
          }
          buf.append(StateHelper.XML_DOC_END);
          return buf.toString();
      }