m_FirstBatchDone = true;
  public boolean batchFinished() {    if (getInputFormat() == null) {      throw new IllegalStateException("No input instance format defined");    }    // Push instances for output into output queue    Instances toFilter = getInputFormat();    int cutOff = toFilter.numInstances() * m_Percentage / 100;    if (m_Inverse) {      for (int i = 0; i < cutOff; i++) {	push(toFilter.instance(i));      }    } else {      for (int i = cutOff; i < toFilter.numInstances(); i++) {	push(toFilter.instance(i));      }    }    m_NewBatch = true;    return (numPendingOutput() != 0);  }