public void firePluginEvent(PluginEvent event) {
		if (tool != null) {
			event.setSourceName(getName());
			tool.firePluginEvent(event);
		}
	}
Fire the given plugin event; the tool notifies all other plugins
who are interested in receiving the given event type.
@param event event to fire
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/Plugin.java