Revised anonymous Collector in matchingIDs(), Lucene API change with 4.0