IndexWriter.deleteDocuments(Query query)

[John Wang]

Hi guys:
    IndexWriter.deleteDocuments(Query query) api is not really making sense
to me. Wouldn't IndexWriter.deleteDocuments(DocIdSet set) be better? Since
we don't really care about scoring for this call.

Also, can we expose  IndexWriter.deleteDocuments(int[] docids)? Using the
current api is very cumbersome if the docids to be deleted is already known.
I would have to use the above API and create a Query instance.

Thanks

-John