void closeRunningTool(PluginTool tool) {
		// tool is already closed via the call that got us here, so just clean up
		runningTools.remove(tool);

		// alert the tool manager that we changed
		toolManager.setWorkspaceChanged(this);

		toolManager.toolRemoved(this, tool);
	}
restores the object from an XML element

@param root an XML element to restore from
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/WorkspaceImpl.java