Hi I opened an issue in JIRA on making TopDocs constructor public ( https://issues.apache.org/jira/browse/LUCENE-1064). I think it's a very small change and is required by applications that have the need to write their own HitCollector and create a corresponding TopDocs (but can't extend TopDocCollector).
What's your opinion on that? Shai Erera