__CLOVER_74_0.S[1907]++;cycle.getRequestContext().createSession();
__CLOVER_74_0.S[1908]++;setStateful();
__CLOVER_74_0.S[1909]++;IPageRecorder result = new SessionPageRecorder();
__CLOVER_74_0.S[1910]++;result.initialize(pageName, cycle);
__CLOVER_74_0.S[1911]++;_recorders.put(pageName, result);
__CLOVER_74_0.S[1912]++;if ((((_activePageNames == null) && (++__CLOVER_74_0.CT[361] != 0)) || (++__CLOVER_74_0.CF[361] == 0))){
__CLOVER_74_0.S[1913]++;_activePageNames = new HashSet();}