declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace security {
                namespace authentication {
                    class DeferredAuthentication$1 implements javax.servlet.http.HttpServletResponse {
                        public addCookie(arg0: javax.servlet.http.Cookie): void
                        public addDateHeader(arg0: java.lang.String | string, arg1: long): void
                        public addHeader(arg0: java.lang.String | string, arg1: java.lang.String | string): void
                        public addIntHeader(arg0: java.lang.String | string, arg1: int): void
                        public containsHeader(arg0: java.lang.String | string): boolean
                        public encodeRedirectURL(arg0: java.lang.String | string): string
                        public encodeRedirectUrl(arg0: java.lang.String | string): string
                        public encodeURL(arg0: java.lang.String | string): string
                        public encodeUrl(arg0: java.lang.String | string): string
                        public sendError(arg0: int): void
                        public sendError(arg0: int, arg1: java.lang.String | string): void
                        public sendRedirect(arg0: java.lang.String | string): void
                        public setDateHeader(arg0: java.lang.String | string, arg1: long): void
                        public setHeader(arg0: java.lang.String | string, arg1: java.lang.String | string): void
                        public setIntHeader(arg0: java.lang.String | string, arg1: int): void
                        public setStatus(arg0: int): void
                        public setStatus(arg0: int, arg1: java.lang.String | string): void
                        public flushBuffer(): void
                        public getBufferSize(): int
                        public getCharacterEncoding(): string
                        public getContentType(): string
                        public getLocale(): java.util.Locale
                        public getOutputStream(): javax.servlet.ServletOutputStream
                        public getWriter(): java.io.PrintWriter
                        public isCommitted(): boolean
                        public reset(): void
                        public resetBuffer(): void
                        public setBufferSize(arg0: int): void
                        public setCharacterEncoding(arg0: java.lang.String | string): void
                        public setContentLength(arg0: int): void
                        public setContentLengthLong(arg0: long): void
                        public setContentType(arg0: java.lang.String | string): void
                        public setLocale(arg0: java.util.Locale): void
                        public getHeaderNames(): java.util.Collection<java.lang.String>
                        public getHeader(arg0: java.lang.String | string): string
                        public getHeaders(arg0: java.lang.String | string): java.util.Collection<java.lang.String>
                        public getStatus(): int
                        public static class: java.lang.Class<any>
                    }
                }
            }
        }
    }
}