TermDocs.close

[John Wang]

Hi:

  I see TermDocs.close not being called when created with TermQuery:
TermQuery creates it and passes to TermScorer, and is never closed.

  I see TermDocs.close actually closes the input stream.

  Is it safe not closing TermDocs?

Thanks

-John