Ok, point taken. I've added a new method getListenerPriority() to the EventDispatcherInterface.