SessionManager.setSession(session);
    public final synchronized void doGet(HttpServletRequest req,                                         HttpServletResponse response)        throws ServletException, IOException    {        try {            if ( DEBUG ) {                System.out.println("\nHEADER: ");                for ( Enumeration en = req.getHeaderNames(); en.hasMoreElements(); ) {                    String header = (String)en.nextElement();                    System.out.println("   " + header + ": " + req.getHeader(header));                }                System.out.println();            }            handleLocale(req);            getFrame().setServer(response.encodeUrl(HttpUtils.getRequestURL(req).toString()));        }        finally {            prepareRequest(req, response);        }        try {            ServletRequest asreq = new ServletRequest(req);            SessionManager.setSession(session);            if ( DEBUG )                measure.start("time to dispatch");            Enumeration en = null;            en = req.getParameterNames();            while ( en.hasMoreElements() ) {                String paramName = (String)en.nextElement();                String[] value = req.getParameterValues(paramName);                if ( !dispatcher.dispatch(paramName, value) )                    asreq.addParam(paramName,value);            }            if ( req.getMethod().toUpperCase().equals("POST")) {                dispatchPostQuery(req.getQueryString());            }            dispatcher.dispatchDone();            if ( DEBUG ) {                measure.stop();                measure.start("time to fire form events");            }            SForm.fireEvents();            if ( DEBUG ) {                measure.stop();                measure.start("time to process request");            }            // default content ist text/html            response.setContentType("text/html;charset=" + session.getCharSet());            // Page must not be cached since higly dynamic            response.setHeader("Pragma", "no-cache");            response.setHeader("Cache-Control",                               "max-age=0, no-cache, must-revalidate");            // 1000 (one second after Jan 01 1970) because of some IE bug:            response.setDateHeader("Expires", 1000);             processRequest(asreq, response);            // writes directly to the ServletDevice            getFrame().write(new ServletDevice(response.getOutputStream()));            if ( DEBUG ) {                measure.stop();                debug(measure.print());                measure.reset();            }        }        catch ( Exception e) {            handleException(req, response, e);        }        finally {            finalizeRequest(req, response);        }    }