private Map<String, SaveState> getPluginSavedStates(Element root, String elementName) {
		Map<String, SaveState> map = new HashMap<>();
		List<?> children = root.getChildren(elementName);
		for (Object object : children) {
			Element child = (Element) object;
			String className = child.getAttributeValue("CLASS");
			map.put(className, new SaveState(child));
		}
		return map;
	}
Removes the given plugins from the tool and removes any other plugins that were
depending on them.
@param plugins the list of plugins to remove.
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginManager.java