public static void setIntAttr(Element ele, String attrName, int attrValue) {
		ele.setAttribute(attrName, Integer.toString(attrValue));
	}
Sets an integer attribute on the specified element.

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