public void pause() { host.pauseAgent(); for (MarketCustomer c : customers) { c.pauseAgent(); } for (MarketWorkerAgent w : waiters) { w.pauseAgent(); } }