declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace server {
                interface Authentication$Wrapped extends org.eclipse.jetty.server.Authentication {
                    getHttpServletRequest(): javax.servlet.http.HttpServletRequest
                    getHttpServletResponse(): javax.servlet.http.HttpServletResponse
                }
            }
        }
    }
}