192193194195196197198199
} protected void decrementDispatched() { nrOfDispatchedCommands--; if (nrOfDispatchedCommands == 0) { manager.fireEvent(new DispatchStoppedEvent()); } }