426427428429430431432433434435436
while (actors.hasNext()) { Actor actor = (Actor) actors.next(); if (_isActive(actor)) { synchronized (actor) { actor.notifyAll(); } } } synchronized (this) {