__CLOVER_80_0.S[12507]++;if ((((stateful.equals(STATEFUL_ON) && direct.isStateful()) && (++__CLOVER_80_0.CT[2143] != 0)) || (++__CLOVER_80_0.CF[2143] == 0))){
{
__CLOVER_80_0.S[12508]++;HttpSession session = cycle.getRequestContext().getSession();
__CLOVER_80_0.S[12509]++;if ((((session == null || session.isNew()) && (++__CLOVER_80_0.CT[2144] != 0)) || (++__CLOVER_80_0.CF[2144] == 0))){
__CLOVER_80_0.S[12510]++;throw new StaleSessionException(Tapestry.format(
"DirectService.stale-session-exception",
direct.getExtendedId()), direct.getPage());}
}}
__CLOVER_80_0.S[12511]++;Object[] parameters = getParameters(cycle);