class DefaultHttpSession implements HttpSession {

    @Override
    public String[] getValueNames() {
        verifyValid("getValueNames");
        return this.attributes.keySet().toArray(new String[0]);
    }

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

}