void addTool(String workspaceName, PluginTool runningTool) {
		RunningToolsPanel rtp = runningToolsMap.get(workspaceName);
		if (rtp != null) {
			rtp.addTool(runningTool);
			runningTool.addPropertyChangeListener(this);
		}
		validate();
		repaint();
	}
called whenever the active project changes or is being set for
the first time
@param project the project
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/WorkspacePanel.java