86                 new_server_alias, new_key, new_flags, authTime,

    86                 new_server_alias, new_key, new_flags, authTime,

    87                 new_startTime, new_endTime, renewTill, cAddr);

    87                 new_startTime, new_endTime, renewTill, cAddr);

    88         this.authzData = authzData;

    88         this.authzData = authzData;

    89     }

    89     }

    90 

    90 

    91     public Credentials(Ticket new_ticket,

    92     public Credentials(Ticket new_ticket,

    92                        PrincipalName new_client,

    93                        PrincipalName new_client,

    93                        PrincipalName new_client_alias,

    94                        PrincipalName new_client_alias,

    94                        PrincipalName new_server,

    95                        PrincipalName new_server,

    95                        PrincipalName new_server_alias,

    96                        PrincipalName new_server_alias,