docs: public final void checkPermission(@Nonnull Permission p) {
          Authentication a = Jenkins.getAuthentication();
          if (a == SYSTEM) {
              return;
          }
          if(!hasPermission(a,p))
              throw new AccessDeniedException2(a,p);
      }