/** * Triggers the writing of the postings in memory to disk. * Uses the default RunWriter, writing to the specified files. * @param file name of the file to write the postings. * @throws IOException if an I/O error occurs. */ public void finish(String[] file) throws IOException{ finish(new RunWriter(file[0], file[1])); }