class DefaultHttpSession implements HttpSession {

    @Override
    public Object getAttribute(String name) {
        verifyValid("getAttribute");
        return this.attributes.get(name);
    }

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

}