declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace servlet {
                class DefaultServlet extends javax.servlet.http.HttpServlet implements org.eclipse.jetty.util.resource.ResourceFactory {
                    public constructor()
                    public init(): void
                    protected initContextHandler(arg0: javax.servlet.ServletContext): org.eclipse.jetty.server.handler.ContextHandler
                    public getInitParameter(arg0: java.lang.String | string): string
                    public getResource(arg0: java.lang.String | string): org.eclipse.jetty.util.resource.Resource
                    protected doGet(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                    protected sendWelcome(arg0: org.eclipse.jetty.http.HttpContent, arg1: java.lang.String | string, arg2: boolean, arg3: boolean, arg4: javax.servlet.http.HttpServletRequest, arg5: javax.servlet.http.HttpServletResponse): void
                    protected isGzippedContent(arg0: java.lang.String | string): boolean
                    protected doPost(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                    protected doTrace(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                    protected doOptions(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                    protected passConditionalHeaders(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse, arg2: org.eclipse.jetty.http.HttpContent): boolean
                    protected sendDirectory(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse, arg2: org.eclipse.jetty.util.resource.Resource, arg3: java.lang.String | string): void
                    protected sendData(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse, arg2: boolean, arg3: org.eclipse.jetty.http.HttpContent, arg4: java.util.Enumeration<java.lang.String>): boolean
                    protected putHeaders(arg0: javax.servlet.http.HttpServletResponse, arg1: org.eclipse.jetty.http.HttpContent, arg2: long): void
                    public destroy(): void
                    public static class: java.lang.Class<any>
                }
            }
        }
    }
}