/** Function that opens the database */ public void opendb() { wrapper = new DBWrapper(); wrapper.setup(directory); env = wrapper.getEnvironment(); pk_index = new Indices(wrapper.getStore()); }