Vector listDocumentPermissions(User user, String name)
Hashtable listDocumentPermissions(User user, String name)
    Vector listDocumentPermissions(User user, String name)        throws EXistException, PermissionDeniedException;