public RemoteXMLResource( RemoteCollection parent, int handle, int pos, String docId, String id)
public RemoteXMLResource(RemoteCollection parent, String docId, String 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;		}	}