public LocalResourceSet(User user, BrokerPool pool, LocalCollection col) {
public LocalResourceSet( User user, BrokerPool pool, LocalCollection col, Properties properties, Sequence val, String sortExpr) throws XMLDBException { this.user = user; this.brokerPool = pool; this.outputProperties = properties;
	public LocalResourceSet(User user, BrokerPool pool, LocalCollection col) {		this.collection = col;		this.brokerPool = pool;		this.user = user;	}