EMPTY_TOPDOCS

This is used in case topDocs() is called with illegal parameters, or there simply aren't (enough) results.