(int)pos, doc, s_id, indentXML, encoding );
(int)pos, doc, s_id );
    public Resource getResource( long pos ) throws XMLDBException {        if ( pos >= resources.size() )            return null;        // node or value?        if ( resources.elementAt( (int) pos ) instanceof Vector ) {            // node            Vector v = (Vector) resources.elementAt( (int) pos );            String doc = (String) v.elementAt( 0 );            String s_id = (String) v.elementAt( 1 );			String path = doc.substring(0, doc.lastIndexOf('/'));			RemoteCollection parent = 				new RemoteCollection(collection.getClient(), null, path);			            XMLResource res =                new RemoteXMLResource( parent, handle,                	(int)pos, doc, s_id, indentXML, encoding );            return res;        } else if ( resources.elementAt( (int) pos ) instanceof Resource )            return (Resource) resources.elementAt( (int) pos );        else {            // value            XMLResource res = new RemoteXMLResource( collection, handle, (int)pos,             	Long.toString( pos ), null, indentXML, encoding );            res.setContent( resources.elementAt( (int) pos ) );            return res;        }    }