if (!documentPath.startsWith("/db")) documentPath = "/db" + documentPath;
documentPath = NativeBroker.checkPath(documentPath, "/db");
    public Vector getTimestamps(User user, String documentPath)    throws PermissionDeniedException, EXistException {        DBBroker broker = null;        DocumentImpl doc = null;        try {            broker = brokerPool.get(user);            if (!documentPath.startsWith("/"))                documentPath = '/' + documentPath;            if (!documentPath.startsWith("/db"))                documentPath = "/db" + documentPath;            doc = (DocumentImpl) broker.openDocument(documentPath, Lock.READ_LOCK);            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 {            if(doc != null)                doc.getUpdateLock().release(Lock.READ_LOCK);            brokerPool.release(broker);        }    }