public void putXmlElement(String name, Element element) {
		map.put(name, element);
	}
Adds an XML element to the
this GProperties. Used by plugins that have more
complicated state information that needs to be saved.
@param name the name to associate with the element
@param element XML element which is the root of an
XML sub-tree.
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java