protected void forceFlush() throws IOException
{
//logger.info("Map "+mapTaskID+", flush requested, containing "+numberOfDocsSinceFlush+" documents, flush "+flushNo);
if (mp == null)
throw new IOException("Map flushed before any documents were indexed");
mp.finish(new HadoopRunWriter(outputPostingListCollector, mapTaskID, splitnum, flushNo));
RunData.writeInt(currentId);
if (currentReporter != null)
currentReporter.incrCounter(Counters.INDEXER_FLUSHES, 1);
System.gc();
createMemoryPostings();