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

		Counter counter = producerMap.get(name);
		if (--counter.count == 0) {
			producerMap.remove(name);
		}
	}
Remove the class of a PluginEvent that a plugin produces.

@param eventClass class for the PluginEvent
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/mgr/EventManager.java