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