if (declareXML)
if (!toDOM && declareXML)
  public void traverse(List contents)  {    if (declareXML)    {      doc.add("<?xml version=\"" + XML_VERSION + "\" encoding=\"" + encoding + "\"?>");      doc.addLine();    }    int size = contents.size();    // Reserve a place to insert xmlns declarations after we know what they all are.    //    Object mark;    if (size == 1)    {      mark = writeTopObject((EObject) contents.get(0));    }    else    {      mark = writeTopObjects(contents);    }    // Go back and add all the XMLNS stuff.    //    doc.resetToMark(mark);    addNamespaceDeclarations();  }