this.user = user; this.brokerPool = pool; this.parent = parent;
super(user, pool, parent, did);
	public LocalXMLResource(User user, BrokerPool pool, LocalCollection parent,			String did, long id) throws XMLDBException {		this.user = user;		this.brokerPool = pool;		this.parent = parent;		this.id = id;		if (did != null && did.indexOf('/') > -1)			did = did.substring(did.lastIndexOf('/') + 1);		this.docId = did;	}