if(collection != null) collection.release();
	public int getResourceCount(User user, String collectionName)	throws EXistException, PermissionDeniedException {	    DBBroker broker = null;		try {			broker = brokerPool.get(user);			if (!collectionName.startsWith("/"))				collectionName = '/' + collectionName;			if (!collectionName.startsWith("/db"))				collectionName = "/db" + collectionName;			Collection collection = broker.getCollection(collectionName);			return collection.getDocumentCount();		} finally {			brokerPool.release(broker);		}	}