} else if (e == null) {
return; // *** EARLY RETURN ***
}
while (e.hasMoreElements()) {
final StateChangeListener l = (StateChangeListener) e.nextElement();
final DeliverStateChangeCallbackTask task =
new DeliverStateChangeCallbackTask(this, wal.getWorkspace(), l, newState);
this.executor.submit(task);
}
}