193194195196197198199200201202203
// kill all of our threads WorkerThread worker = null; Iterator it = this.workers.iterator(); while(it.hasNext()) { worker = (WorkerThread) it.next(); worker.interrupt(); } } }