code: public void finish() throws SQLException{
  		Statement statement = connection.createStatement();
  		statement.execute("CREATE INDEX articleIdx on revisions(ArticleID);");
  		statement.close();
  		statement = connection.createStatement();
  		statement.execute("ALTER TABLE index_articleID_rc_ts ENABLE KEYS;");
  		statement.close();
  		statement = connection.createStatement();
  		statement.execute("ALTER TABLE index_revisionID ENABLE KEYS;");
  		statement.close();
  		statement = connection.createStatement();
  		statement.execute("ALTER TABLE index_chronological ENABLE KEYS;");
  		statement.close();
  	}
docs: Wraps up the index generation process and writes all remaining statements
  e.g. concerning UNCOMPRESSED-Indexes on the created tables.
  
  @throws SQLException
  if an error occurred while accessing the database