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();
}

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 ( ) ; }
wraps up the index generation process and writes all remaining statements e . g . concerning uncompressed - indexes on the created tables .
