protected void addResult(PropertyTree node) {
		// todo: don't call getValue again right here!
		Object value=node.getValue();
		Result match=getMatchingResult(value);
		if(match==null) {
			results.add(new Result(node));
		} else {
			match.add(node);
		}
		this.totalNodes++;
		this.sorted=false;
	}