546547548549550551552553554555556
SessionLifecycleListener listener = (SessionLifecycleListener) l; try { switch (event) { case RECREATED: listener.sessionInvalidated(this); case CREATED: listener.sessionCreated(this); case VISITED:
556557558559560561562563564565566
case VISITED: listener.sessionVisited(this); break; case INVALIDATED: listener.sessionInvalidated(this); break; default: unreachableCode(); }
575576577578579580581582583584585
585586587588589590591592593594595
526527528529530531532533534535536
536537538539540541542543544545546