// NOTE: Used to do the notification in a new thread.
// For some reason, however, this isn't sufficient.
// Have to click the stop button twice.
// (new NotifyThread(manager)).start();
synchronized (manager) {
manager.notifyAll();
}
// Wait until all threads stop.
synchronized (this) {
while (_activeThreads.size() > 0) {