.addAttribute("release", releaseName));
.addAttribute("release", releaseName) .addAttribute("codeSize", String.valueOf(codeSize)) .addAttribute("numClasses", String.valueOf(numClasses)));
	public void writeXML(XMLOutput xmlOutput) throws IOException {		xmlOutput.openCloseTag(ELEMENT_NAME, new XMLAttributeList()				.addAttribute("sequence", String.valueOf(sequence))				.addAttribute("timestamp", String.valueOf(timestamp))				.addAttribute("release", releaseName));	}