public void processToolEvent(PluginEvent event) {
		// only process the event if we are the receiving tool
		if (!sendingToolEvent) {
			fireEvent(event);
		}
	}
Convert the given tool event to a plugin event; notify the appropriate plugin listeners. This
method allows one tool's event manager to send events to another connected tool.

@param event tool event
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/mgr/EventManager.java