.getValue()] =
new GrammarTransition<KdcReqBodyContainer>(
KdcReqBodyStatesEnum.KDC_REQ_BODY_RTIME_STATE,
KdcReqBodyStatesEnum.KDC_REQ_BODY_NONCE_TAG_STATE,
UniversalTag.GENERALIZED_TIME,
new StoreRTime() );
// --------------------------------------------------------------------------------------------
// Transition from nonce tag to nonce value
// --------------------------------------------------------------------------------------------
// KDC-REQ-BODY ::= SEQUENCE {