private void unregisterPlugin(Plugin plugin) {
		if (pluginList.remove(plugin)) {
			plugin.cleanup();
			tool.getOptionsManager().deregisterOwner(plugin);
		}
	}
Restore the data state from the given XML element.
@param root XML element containing plugins' data state
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginManager.java