declare namespace javax {
    namespace servlet {
        namespace http {
            abstract class HttpServlet extends javax.servlet.GenericServlet {
                public constructor()
                protected doGet(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                protected getLastModified(arg0: javax.servlet.http.HttpServletRequest): long
                protected doHead(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                protected doPost(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                protected doPut(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                protected doDelete(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 doTrace(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                protected service(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void
                public service(arg0: javax.servlet.ServletRequest, arg1: javax.servlet.ServletResponse): void
                public static class: java.lang.Class<any>
            }
        }
    }
}