class DefaultHttpSession implements HttpSession {

    public void setSessionManager(HttpSessionManager sessionManager) {
        this.sessionManager = sessionManager;
    }

    public  DefaultHttpSession(ServletContext servletContext);
    public  DefaultHttpSession(ServletContext servletContext, String id, boolean newFlag);

}