declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace server {
                namespace session {
                    interface AbstractSessionManager$SessionIf extends javax.servlet.http.HttpSession {
                        getSession(): org.eclipse.jetty.server.session.AbstractSession
                    }
                }
            }
        }
    }
}