code: public void finish() throws IOException{
  
  		writer.write("CREATE INDEX articleIdx ON revisions(ArticleID);\r\n");
  		writer.write("ALTER TABLE index_articleID_rc_ts ENABLE KEYS;\r\n");
  		writer.write("ALTER TABLE index_revisionID ENABLE KEYS;\r\n");
  		writer.write("ALTER TABLE index_chronological ENABLE KEYS;\r\n");
  		writer.flush();
  
  	}
docs: Wraps up the index generation process and writes all remaining statements
  e.g. concerning UNCOMPRESSED-Indexes on the created tables.
  
  @throws IOException
  if an error occurred while writing to the file