class DefaultHttpSession implements HttpSession {

    @Override
    public Enumeration<String> getAttributeNames() {
        verifyValid("getAttributeNames");
        return Collections.enumeration(attributes.keySet());
    }

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

}