* @param date Date of flushing
* @param origin The origin of the event
*/
private void dispatchScopeEvent(ScopeEventType eventType, int scope, Date date, String origin) {
// Create the event
ScopeEvent event = new ScopeEvent(eventType, scope, date, origin);
// Guaranteed to return a non-null array
Object[] listeners = listenerList.getListenerList();
// Process the listeners last to first, notifying