/** Closes the used structures. */ public void close() { try { index.close(); } catch (IOException ioe) { logger.warn("Problem closing index", ioe); } }