super.transitions[KdcReqBodyStatesEnum.START_STATE.ordinal()][UniversalTag.SEQUENCE.getValue()] =
new GrammarTransition<KdcReqBodyContainer>(
KdcReqBodyStatesEnum.START_STATE,
KdcReqBodyStatesEnum.KDC_REQ_BODY_KDC_OPTIONS_TAG_STATE,
UniversalTag.SEQUENCE,
new KdcReqBodyInit() );
// --------------------------------------------------------------------------------------------
// Transition from KdcReqBody SEQ to kdc-options tag
// --------------------------------------------------------------------------------------------
// KDC-REQ-BODY ::= SEQUENCE {