declare namespace javax {
    namespace servlet {
        namespace http {
            interface HttpSession {
                getCreationTime(): long
                getId(): string
                getLastAccessedTime(): long
                getServletContext(): javax.servlet.ServletContext
                setMaxInactiveInterval(arg0: int): void
                getMaxInactiveInterval(): int
                getSessionContext(): javax.servlet.http.HttpSessionContext
                getAttribute(arg0: java.lang.String | string): java.lang.Object
                getValue(arg0: java.lang.String | string): java.lang.Object
                getAttributeNames(): java.util.Enumeration<java.lang.String>
                getValueNames(): java.lang.String[]
                setAttribute(arg0: java.lang.String | string, arg1: java.lang.Object): void
                putValue(arg0: java.lang.String | string, arg1: java.lang.Object): void
                removeAttribute(arg0: java.lang.String | string): void
                removeValue(arg0: java.lang.String | string): void
                invalidate(): void
                isNew(): boolean
            }
        }
    }
}