if(doc != null) doc.getUpdateLock().release(Lock.READ_LOCK);
	public Vector getTimestamps(User user, String documentPath)			throws PermissionDeniedException, EXistException {		DBBroker broker = null;		try {			broker = brokerPool.get(user);			if (!documentPath.startsWith("/"))				documentPath = '/' + documentPath;			if (!documentPath.startsWith("/db"))				documentPath = "/db" + documentPath;			DocumentImpl doc = (DocumentImpl) broker.getDocument(documentPath);			if (doc == null) {				LOG.debug("document " + documentPath + " not found!");				throw new EXistException("document not found");			}			Vector vector = new Vector(2);			vector.addElement(new Date(doc.getCreated()));			vector.addElement(new Date(doc.getLastModified()));			return vector;		} finally {			brokerPool.release(broker);		}	}