m_FirstBatchDone = true;
  public boolean batchFinished() {    if (getInputFormat() == null) {      throw new IllegalStateException("No input instance format defined");    }    // Push instances for output into output queue    m_Range.setUpper(getInputFormat().numInstances() - 1);    for (int i = 0; i < getInputFormat().numInstances(); i++) {      if (!m_Range.isInRange(i)) {	push(getInputFormat().instance(i));      }    }    m_NewBatch = true;    return (numPendingOutput() != 0);  }