this.handle = handle; this.pos = pos; this.parent = parent; this.id = id; int p; if (docId != null && (p = docId.lastIndexOf('/')) > -1) { path = docId; documentName = docId.substring(p + 1); } else { path = parent.getPath() + '/' + docId; documentName = docId; }
this(parent, -1, -1, docId, id);
	public RemoteXMLResource(		RemoteCollection parent,		int handle,		int pos,		String docId,		String id)		throws XMLDBException {		this.handle = handle;		this.pos = pos;		this.parent = parent;		this.id = id;		int p;		if (docId != null && (p = docId.lastIndexOf('/')) > -1) {			path = docId;			documentName = docId.substring(p + 1);		} else {			path = parent.getPath() + '/' + docId;			documentName = docId;		}	}