m_FirstBatchDone = true;
  public boolean batchFinished() {    if (getInputFormat() == null) {      throw new IllegalStateException("No input instance format defined");    }    getInputFormat().randomize(m_Random);    for (int i = 0; i < getInputFormat().numInstances(); i++) {      push(getInputFormat().instance(i));    }    flushInput();        m_NewBatch = true;    return (numPendingOutput() != 0);  }