super.transitions[EncKdcRepPartStatesEnum.ENC_KDC_REP_PART_NONCE_TAG_STATE.ordinal()][UniversalTag.INTEGER.getValue()] =
new GrammarTransition<EncKdcRepPartContainer>(
EncKdcRepPartStatesEnum.ENC_KDC_REP_PART_NONCE_TAG_STATE,
EncKdcRepPartStatesEnum.ENC_KDC_REP_PART_NONCE_STATE,
UniversalTag.INTEGER,
new StoreNonce() );
// --------------------------------------------------------------------------------------------
// Transition from nonce value to key-expiration tag
// --------------------------------------------------------------------------------------------
// EncKDCRepPart ::= SEQUENCE {