public SortedNodeSet(BrokerPool pool, String sortExpr) {
public SortedNodeSet(BrokerPool pool, User user, String sortExpr) {
	public SortedNodeSet(BrokerPool pool, String sortExpr) {		this.sortExpr = sortExpr;		this.pool = pool;	}