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