if (propertyListHead != null) { BugProperty prop = propertyListHead; while (prop != null) { prop.writeXML(xmlOutput); prop = prop.getNext(); } }
	public void writeXML(XMLOutput xmlOutput) throws IOException {		XMLAttributeList attributeList = new XMLAttributeList()			.addAttribute("type", type)			.addAttribute("priority", String.valueOf(priority));		BugPattern pattern = getBugPattern();		if (pattern != null) {			// The bug abbreviation and pattern category are			// emitted into the XML for informational purposes only.			// (The information is redundant, but might be useful			// for processing tools that want to make sense of			// bug instances without looking at the plugin descriptor.)			attributeList.addAttribute("abbrev", pattern.getAbbrev());			attributeList.addAttribute("category", pattern.getCategory());		}		xmlOutput.openTag(ELEMENT_NAME, attributeList);		if (!annotationText.equals("")) {			xmlOutput.openTag("UserAnnotation");			xmlOutput.writeCDATA(annotationText);			xmlOutput.closeTag("UserAnnotation");		}		XMLOutputUtil.writeCollection(xmlOutput, annotationList);		xmlOutput.closeTag(ELEMENT_NAME);	}