void toolRemoved(PluginTool tool) {
		int index = producerModel.indexOf(tool);
		if (index >= 0) {
			producerModel.remove(index);
		}
		index = consumerModel.indexOf(tool);
		if (index >= 0) {
			consumerModel.remove(index);
		}
		processSelection();
		validate();
	}
Tool was removed from a workspace; update the display.
@param tool tool removed
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/ToolConnectionPanel.java