class DefaultHttpSession implements HttpSession {

    @Override
    public void invalidate() {
        verifyValid("invalidate");
        sessionManager.destroySession(this);
        this.valid = false;
    }

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

}