final boolean noneStarted = m_nextWorkerIndex == 0;
  public void destroyAllWorkers() {    final boolean noneStarted = m_nextWorkerIndex == 0;    dontStartAnyMore();    if (noneStarted) {      allFinished();    }    else {      synchronized (m_workers) {        for (int i = 0; i < m_workers.length; i++) {          if (m_workers[i] != null) {            m_workers[i].destroy();          }        }      }    }  }