//special code for Java Server Faces
if(sctx.findParameter(JSF_HA_ENABLED) == null) {
sctx.addParameter(JSF_HA_ENABLED, "true");
}
//START OF 6364900
mgr.setSessionLocker(new PESessionLocker(ctx));
//END OF 6364900
ctx.setManager(mgr);
//this must be after ctx.setManager(mgr);
if(!sctx.isSessionTimeoutOveridden()) {