if(admin == null) throw  new AuthorizationDeniedException("Administrator not authorized to resource : " + resource);
    public boolean isAuthorizedNoLog(Admin admin, String resource) throws AuthorizationDeniedException {        // Check in accesstree.       if(!authorizationproxy.isAuthorized(admin.getAdminInformation(), resource)  && !authorizationproxy.isAuthorized(admin.getAdminInformation(), "/super_administrator")){         throw  new AuthorizationDeniedException("Administrator not authorized to resource : " + resource);       }        return true;    }