if ( result != null )
{
result.getIndexReader().close();
result.close();
}
<BUG>IndexReader newReader = writer().getReader();
result = new IndexSearcher( newReader );</BUG>
writerModified = false;
}
return result;

if ( result != null )
{
result.getIndexReader().close();
result.close();
}
IndexReader newReader = writer.getReader();
result = new IndexSearcher( newReader );
writerModified = false;
}
return result;
