numTokens += tokReader(r, out, parseInsideBegin, parseInsideEnd, options, preserveLines, dump);
r.close();
if (outputFileList != null) out.close();
} // end for j going through inputFileList
}
long millis = t.stop();
double wordspersec = numTokens / (((double) millis) / 1000);
NumberFormat nf = new DecimalFormat("0.00"); // easier way!
System.err.println("PTBTokenizer tokenized " + numTokens + " tokens at " +
nf.format(wordspersec) + " tokens per second.");
}