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