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