CAS-1262: TGT id, which cannot be null, uniquely identifies the ticket such that its hash code is suitable as the whole ticket's hash code.