private Element setAttributes(String key, String type, String value) {
		Element elem;
		elem = new Element(STATE);
		elem.setAttribute(NAME, key);
		elem.setAttribute(TYPE, type);
		elem.setAttribute(VALUE, value);
		return elem;
	}
Save this object to an XML element.
@return Element XML element containing the properties
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java