When the client application gets a ticket that has already been given to a particular user, this bean is used to validate its authenticity:

@Bean
public TicketValidator ticketValidator() {
    return new Cas30ServiceTicketValidator("https://localhost:6443/cas");
}