declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace server {
                interface SessionManager extends org.eclipse.jetty.util.component.LifeCycle {
                    __SessionCookieProperty: string
                    __DefaultSessionCookie: string
                    __SessionIdPathParameterNameProperty: string
                    __DefaultSessionIdPathParameterName: string
                    __CheckRemoteSessionEncoding: string
                    __SessionDomainProperty: string
                    __DefaultSessionDomain: string
                    __SessionPathProperty: string
                    __MaxAgeProperty: string
                    getHttpSession(arg0: java.lang.String | string): javax.servlet.http.HttpSession
                    newHttpSession(arg0: javax.servlet.http.HttpServletRequest): javax.servlet.http.HttpSession
                    getHttpOnly(): boolean
                    getMaxInactiveInterval(): int
                    setMaxInactiveInterval(arg0: int): void
                    setSessionHandler(arg0: org.eclipse.jetty.server.session.SessionHandler): void
                    addEventListener(arg0: java.util.EventListener): void
                    removeEventListener(arg0: java.util.EventListener): void
                    clearEventListeners(): void
                    getSessionCookie(arg0: javax.servlet.http.HttpSession, arg1: java.lang.String | string, arg2: boolean): org.eclipse.jetty.http.HttpCookie
                    getSessionIdManager(): org.eclipse.jetty.server.SessionIdManager
                    getMetaManager(): org.eclipse.jetty.server.SessionIdManager
                    setSessionIdManager(arg0: org.eclipse.jetty.server.SessionIdManager): void
                    isValid(arg0: javax.servlet.http.HttpSession): boolean
                    getNodeId(arg0: javax.servlet.http.HttpSession): string
                    getClusterId(arg0: javax.servlet.http.HttpSession): string
                    access(arg0: javax.servlet.http.HttpSession, arg1: boolean): org.eclipse.jetty.http.HttpCookie
                    complete(arg0: javax.servlet.http.HttpSession): void
                    setSessionIdPathParameterName(arg0: java.lang.String | string): void
                    getSessionIdPathParameterName(): string
                    getSessionIdPathParameterNamePrefix(): string
                    isUsingCookies(): boolean
                    isUsingURLs(): boolean
                    getDefaultSessionTrackingModes(): java.util.Set<javax.servlet.SessionTrackingMode>
                    getEffectiveSessionTrackingModes(): java.util.Set<javax.servlet.SessionTrackingMode>
                    setSessionTrackingModes(arg0: java.util.Set<javax.servlet.SessionTrackingMode>): void
                    getSessionCookieConfig(): javax.servlet.SessionCookieConfig
                    isCheckingRemoteSessionIdEncoding(): boolean
                    setCheckingRemoteSessionIdEncoding(arg0: boolean): void
                    renewSessionId(arg0: java.lang.String | string, arg1: java.lang.String | string, arg2: java.lang.String | string, arg3: java.lang.String | string): void
                }
            }
        }
    }
}