return Pair.read(summary, results);
}
// ---------------------------------------------------------------------------
private Filter wrapSpatialFilter() {
Filter duplicateRemovingFilter = new DuplicateDocFilter(_query, 1000000);
Filter cFilter = null;
if (_filter == null) {
cFilter = duplicateRemovingFilter;
}
else {