docs: static void ensurePrincipalAccessIsAllowedForService(final ServiceTicket serviceTicket,
                                                           final RegisteredService registeredService,
                                                           final TicketGrantingTicket ticketGrantingTicket,
                                                           final boolean retrievePrincipalAttributesFromReleasePolicy)
          throws UnauthorizedServiceException, PrincipalException {
          ensurePrincipalAccessIsAllowedForService(serviceTicket.getService(),
              registeredService, ticketGrantingTicket.getAuthentication(), retrievePrincipalAttributesFromReleasePolicy);
      }