declare namespace javax {
    namespace servlet {
        namespace http {
            interface HttpSessionContext {
                getSession(arg0: java.lang.String | string): javax.servlet.http.HttpSession
                getIds(): java.util.Enumeration<java.lang.String>
            }
        }
    }
}