updateAuthorizationTree(admin);
updateAuthorizationTree();
    public boolean isGroupAuthorizedNoLog(Admin admin, int admingrouppk, String resource) throws AuthorizationDeniedException {        if (updateNeccessary())            updateAuthorizationTree(admin);        return authorizer.isGroupAuthorizedNoLog(admin, admingrouppk, resource);    }