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