protected void headerToXML(){
  Element root;
  Element node;
  Element child;
  int i;
  root=m_Document.getDocumentElement();
  root.setAttribute(ATT_NAME,validContent(m_Instances.relationName()));
  root.setAttribute(ATT_VERSION,Version.VERSION);
  node=m_Document.createElement(TAG_HEADER);
  root.appendChild(node);
  child=m_Document.createElement(TAG_ATTRIBUTES);
  node.appendChild(child);
  for (i=0; i < m_Instances.numAttributes(); i++) {
    addAttribute(child,m_Instances.attribute(i));
  }
}

protected void headerToXML ( ) { Element root ; Element node ; Element child ; int i ; root = m_Document . getDocumentElement ( ) ; root . setAttribute ( ATT_NAME , validContent ( m_Instances . relationName ( ) ) ) ; root . setAttribute ( ATT_VERSION , Version . VERSION ) ; node = m_Document . createElement ( TAG_HEADER ) ; root . appendChild ( node ) ; child = m_Document . createElement ( TAG_ATTRIBUTES ) ; node . appendChild ( child ) ; for ( i = 0 ; i < m_Instances . numAttributes ( ) ; i ++ ) { addAttribute ( child , m_Instances . attribute ( i ) ) ; } }
generates the xml structure for the header
