private void removeTool(String workspaceName, PluginTool tool) {
		RunningToolsPanel rtp = runningToolsMap.get(workspaceName);
		if (rtp != null) {
			rtp.removeTool(tool);
			tool.removePropertyChangeListener(this);
		}
		validate();
		repaint();
	}
Cause the specified workspace to be the active one
NOTE: this workspace must already be known to the ToolManager
@param ws the workspace
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java