// if we have a post filter we have to include in the queried features also the
// attribute needed to evaluate the post-filter
if (postFilter != null) {
Set<String> queriedAttributes = new HashSet<String>(Arrays.asList(properties));
FilterAttributeExtractor extraAttributeExtractor = new FilterAttributeExtractor();
postFilter.accept(extraAttributeExtractor, null);
Set<String> extraAttributeSet = new HashSet<String>(
extraAttributeExtractor.getAttributeNameSet());
extraAttributeSet.removeAll(queriedAttributes);
if (extraAttributeSet.size() > 0) {
String[] queryProperties = new String[properties.length