m_FirstBatchDone = true;
  public boolean batchFinished() throws Exception {    if (m_InputFormat == null) {      throw new NullPointerException("No input instance format defined");    }    flushInput();    m_NewBatch = true;    return (numPendingOutput() != 0);  }