m_kernel.gracefulShutdown();
  public boolean allFinished() {    if (m_nextWorkerIndex < m_workers.length) {      return false;    }    synchronized (m_workers) {      for (int i = 0; i < m_workers.length; i++) {        if (m_workers[i] != null) {          return false;        }      }    }    m_kernel.gracefulShutdown();    return true;  }