public static void setStringAttr(Element ele, String attrName, String attrValue) {
		if (attrValue != null) {
			ele.setAttribute(attrName, attrValue);
		}
	}
Sets a string attribute on the specified element.

@param ele JDom element
@param attrName name of attribute
@param attrValue value of attribute, null ok
Ghidra/Framework/Generic/src/main/java/ghidra/util/xml/XmlUtilities.java