public int hashCode(){
  int result=17;
  if (isDestroyed()) {
    return result;
  }
  result=result * 37 + Arrays.hashCode(getEncoded());
  result=result * 37 + endTime.hashCode();
  result=result * 37 + client.hashCode();
  result=result * 37 + server.hashCode();
  result=result * 37 + sessionKey.hashCode();
  if (authTime != null) {
    result=result * 37 + authTime.hashCode();
  }
  if (startTime != null) {
    result=result * 37 + startTime.hashCode();
  }
  if (renewTill != null) {
    result=result * 37 + renewTill.hashCode();
  }
  result=result * 37 + Arrays.hashCode(clientAddresses);
  return result * 37 + Arrays.hashCode(flags);
}

public int hashCode ( ) { int result = 17 ; if ( isDestroyed ( ) ) { return result ; } result = result * 37 + Arrays . hashCode ( getEncoded ( ) ) ; result = result * 37 + endTime . hashCode ( ) ; result = result * 37 + client . hashCode ( ) ; result = result * 37 + server . hashCode ( ) ; result = result * 37 + sessionKey . hashCode ( ) ; if ( authTime != null ) { result = result * 37 + authTime . hashCode ( ) ; } if ( startTime != null ) { result = result * 37 + startTime . hashCode ( ) ; } if ( renewTill != null ) { result = result * 37 + renewTill . hashCode ( ) ; } result = result * 37 + Arrays . hashCode ( clientAddresses ) ; return result * 37 + Arrays . hashCode ( flags ) ; }
returns a hashcode for this kerberosticket .
