@Override
	public void closeTool(PluginTool tool) {
		toolManager.closeTool(tool);
	}
Implementation of service used to manipulate tools.
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ToolServicesImpl.java