super.transitions[KrbCredStatesEnum.KRB_CRED_PVNO_TAG_STATE.ordinal()][UniversalTag.INTEGER.getValue()] =
new GrammarTransition<KrbCredContainer>(
KrbCredStatesEnum.KRB_CRED_PVNO_TAG_STATE,
KrbCredStatesEnum.KRB_CRED_PVNO_STATE,
UniversalTag.INTEGER,
new StorePvno() );
super.transitions[KrbCredStatesEnum.KRB_CRED_PVNO_STATE.ordinal()][KerberosConstants.KRB_CRED_MSGTYPE_TAG] =
new GrammarTransition<KrbCredContainer>(
KrbCredStatesEnum.KRB_CRED_PVNO_STATE,
KrbCredStatesEnum.KRB_CRED_MSGTYPE_TAG_STATE,