588589590591592593594595596597598
return; } Iterator iterator = engineListeners.iterator(); while (iterator.hasNext()) { EngineListener el = (EngineListener) iterator.next(); el.engineDeallocatingResources(event); } } /** * Utility function that generates an