LOG.info("Loaded " + precomputedTables.size() + " precomputed table descriptions in " + (System.currentTimeMillis() - start) + " ms");
    protected void synchroniseWithDatabase(Connection con) throws SQLException {        // Create index table if necessary        if (!DatabaseUtil.tableExists(con, TABLE_INDEX)) {            setupDatabase(con);        }        Statement stmt = con.createStatement();        ResultSet res = stmt.executeQuery("SELECT * FROM " + TABLE_INDEX);        while (res.next()) {            String tableName = res.getString(1);            String queryString = res.getString(2);            try {                precomputedTables.add(new PrecomputedTable(new Query(queryString), tableName, con));            } catch (IllegalArgumentException e) {                // This would be a poor query string in the TABLE_INDEX            }        }    }