protected void finalize() {
done.reset();
for (int i = 0; i < threads.length; i++) {
threads[i].interrupt();
done.workerBegin();
// threads[i].destroy();
}
done.waitDone();
}
public void complete() {
done.waitBegin();
done.waitDone();
}
