declare namespace javax {
    namespace servlet {
        interface Servlet {
            init(arg0: javax.servlet.ServletConfig): void
            getServletConfig(): javax.servlet.ServletConfig
            service(arg0: javax.servlet.ServletRequest, arg1: javax.servlet.ServletResponse): void
            getServletInfo(): string
            destroy(): void
        }
    }
}