Reviewed-by: valeriep

Reviewed-by: mbalao

8147772: Update KerberosTicket to describe behavior if it has been destroyed and fix NullPointerExceptions
8163104: Unexpected NPE still possible on some Kerberos ticket calls
Reviewed-by: weijun

8131051: KDC might issue a renewable ticket even if not requested
Reviewed-by: weijun

Summary: updated files with 2011, 2012 and 2013 years according to the file's last updated date
Reviewed-by: tbell, lancea, chegar

Reviewed-by: valeriep

Reviewed-by: darcy, weijun

Reviewed-by: xuelei

Reviewed-by: chegar, valeriep