void updateDisplay() {
		PluginTool producer = producerList.getSelectedValue();
		PluginTool consumer = consumerList.getSelectedValue();

		showData();

		// restore the selection
		if (producer != null && consumer != null) {
			int index = producerModel.indexOf(producer);

			if (index >= 0) {
				ListSelectionModel sm = producerList.getSelectionModel();
				// add to selection
				sm.addSelectionInterval(index, index);
			}

			index = consumerModel.indexOf(consumer);

			if (index >= 0) {
				ListSelectionModel sm = consumerList.getSelectionModel();
				// add to selection
				sm.addSelectionInterval(index, index);
			}
		}
		validate();
	}
Update the list of tools. If any selections were made,
restore them. This method is called because tools were either
added or removed.
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/ToolConnectionPanel.java