}
} catch (IOException e) {
LOG.log(Level.WARNING, "Failed to fetch from index " + wavelet.toString(), e);
} finally {
try {
searcherManager.release(indexSearcher);
} catch (IOException e) {
LOG.log(Level.WARNING, "Failed to close searcher. ", e);
}
indexSearcher = null;
}