public static RedisKeyGenerator forPrincipal(final TicketCatalog ticketCatalog, final String type) {
        return new DefaultRedisKeyGenerator(ticketCatalog, REDIS_NAMESPACE_PRINCIPALS, type);
    }
For principals redis key generator.

@param ticketCatalog the ticket catalog
@param type          the type
@return the redis key generator
support/cas-server-support-redis-ticket-registry/src/main/java/org/apereo/cas/ticket/registry/key/DefaultRedisKeyGenerator.java