docs: public void generate(Execution execution)
  	{
  		createEmptyDocument();
  		Element element = dom.createElement(DOCUMENT);
  		root.appendChild(element);
  
  		if (execution.getSections() != null)
  		{
  			Element sections = dom.createElement( SECTIONS );
  			root.appendChild(sections);
  
  			StringTokenizer st = new StringTokenizer(execution.getSections(), ",", false);
  
  			while (st.hasMoreTokens())
  			{
  				addTextValue( sections, SECTION, st.nextToken(), true);
  			}
  		}
  		
  		Element stats = dom.createElement(STATISTICS);
  		element.appendChild(stats);
  
  		addTextValue(element, RESULTS, execution.getResults(), true);
  		addIntValue(stats, SUCCESS, execution.getSuccess());
  		addIntValue(stats, FAILURE, execution.getFailures());
  		addIntValue(stats, ERROR, execution.getErrors());
  		addIntValue(stats, IGNORED, execution.getIgnored());
  	}