private void eventConsumerRemoved(Class<? extends PluginEvent> eventClass) {
		String name = PluginEvent.lookupToolEventName(eventClass);
		if (name == null) {
			return;
		}

		Counter counter = consumerMap.get(name);
		if (--counter.count == 0) {
			consumerMap.remove(name);
		}
	}
Remove the plugin event listener from the list of listeners notified when an event of the
given event class is generated.

@param eventClass class of the event of interest
@param listener listener to remove
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/mgr/EventManager.java