private boolean isOldToolConfig(Element root) {
		return root.getChild("PLUGIN") != null;
	}
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