Pair<Filter, SortProperty[]> p = queryIndex ? null : dbfIndex.query( recNumsAndPos, filterPair.first, query.getSortProperties() ); HashSet<Integer> recNums = new HashSet<Integer>( unzipPair( recNumsAndPos ).first ); if ( idFilterNums != null ) { recNums.addAll( idFilterNums );