public void copy(String collection, String destination, String newName)
public void copy(String collectionPath, String destinationPath, String newName)
	public void copy(String collection, String destination, String newName)			throws XMLDBException {		throw new XMLDBException(ErrorCodes.NOT_IMPLEMENTED);	}