void toolAdded(PluginTool tool) {
		String[] consumedEvents = tool.getConsumedToolEventNames();
		String[] producedEvents = tool.getToolEventNames();
		if (consumedEvents.length > 0) {
			consumerModel.addElement(tool);
		}
		if (producedEvents.length > 0) {
			producerModel.addElement(tool);
		}
		validate();
	}
Tool was added to the workspace; update the display.
@param tool tool added
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/ToolConnectionPanel.java