public Element saveToXml() {
		Element root = new Element(propertiesName);
		for (String key : map.keySet()) {
			Object value = map.get(key);
			Element elem = createElement(key, value);
			root.addContent(elem);
		}
		return root;
	}
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