protected String getJwtId(final OAuth20AccessToken ticket) {
        var jwtId = ticket.getId();
        if (ticket.getTicketGrantingTicket() != null) {
            jwtId = ticket.getTicketGrantingTicket().getId();
        }
        return DigestUtils.sha512(jwtId);
    }
This is {@link OidcIdTokenGeneratorService}.

@author Misagh Moayyed
@since 5.0.0
support/cas-server-support-oidc-core-api/src/main/java/org/apereo/cas/oidc/token/OidcIdTokenGeneratorService.java