throw new XMLDBException(ErrorCodes.NOT_IMPLEMENTED);
if(!collectionPath.startsWith("/db")) collectionPath = parent.getPath() + '/' + collectionPath; if(!destinationPath.startsWith("/db")) destinationPath = parent.getPath() + '/' + destinationPath; if(newName == null) { int p = collectionPath.lastIndexOf(('/')); newName = collectionPath.substring(p + 1); } Vector params = new Vector(); params.addElement( collectionPath ); params.addElement( destinationPath ); params.addElement( newName ); try { client.execute( "copyCollection", params ); } catch ( XmlRpcException xre ) { throw new XMLDBException( ErrorCodes.VENDOR_ERROR, xre.getMessage(), xre ); } catch ( IOException ioe ) { throw new XMLDBException( ErrorCodes.VENDOR_ERROR, ioe.getMessage(), ioe); }
	public void copy(String collection, String destination, String newName)			throws XMLDBException {		throw new XMLDBException(ErrorCodes.NOT_IMPLEMENTED);	}