super.transitions[KdcReqStatesEnum.KDC_REQ_PVNO_STATE.ordinal()][UniversalTag.INTEGER.getValue()] =
new GrammarTransition<KdcReqContainer>(
KdcReqStatesEnum.KDC_REQ_PVNO_STATE,
KdcReqStatesEnum.KDC_REQ_MSG_TYPE_TAG_STATE,
UniversalTag.INTEGER,
new StorePvno() );
// --------------------------------------------------------------------------------------------
// Transition from pvno value to msg-type tag
// --------------------------------------------------------------------------------------------
// KDC-REQ ::= SEQUENCE {