declare namespace javax {
    namespace servlet {
        interface ServletContext {
            TEMPDIR: string
            ORDERED_LIBS: string
            getContextPath(): string
            getContext(arg0: java.lang.String | string): javax.servlet.ServletContext
            getMajorVersion(): int
            getMinorVersion(): int
            getEffectiveMajorVersion(): int
            getEffectiveMinorVersion(): int
            getMimeType(arg0: java.lang.String | string): string
            getResourcePaths(arg0: java.lang.String | string): java.util.Set<java.lang.String>
            getResource(arg0: java.lang.String | string): java.net.URL
            getResourceAsStream(arg0: java.lang.String | string): java.io.InputStream
            getRequestDispatcher(arg0: java.lang.String | string): javax.servlet.RequestDispatcher
            getNamedDispatcher(arg0: java.lang.String | string): javax.servlet.RequestDispatcher
            getServlet(arg0: java.lang.String | string): javax.servlet.Servlet
            getServlets(): java.util.Enumeration<javax.servlet.Servlet>
            getServletNames(): java.util.Enumeration<java.lang.String>
            log(arg0: java.lang.String | string): void
            log(arg0: java.lang.Exception, arg1: java.lang.String | string): void
            log(arg0: java.lang.String | string, arg1: java.lang.Throwable): void
            getRealPath(arg0: java.lang.String | string): string
            getServerInfo(): string
            getInitParameter(arg0: java.lang.String | string): string
            getInitParameterNames(): java.util.Enumeration<java.lang.String>
            setInitParameter(arg0: java.lang.String | string, arg1: java.lang.String | string): boolean
            getAttribute(arg0: java.lang.String | string): java.lang.Object
            getAttributeNames(): java.util.Enumeration<java.lang.String>
            setAttribute(arg0: java.lang.String | string, arg1: java.lang.Object): void
            removeAttribute(arg0: java.lang.String | string): void
            getServletContextName(): string
            addServlet(arg0: java.lang.String | string, arg1: java.lang.String | string): javax.servlet.ServletRegistration$Dynamic
            addServlet(arg0: java.lang.String | string, arg1: javax.servlet.Servlet): javax.servlet.ServletRegistration$Dynamic
            addServlet(arg0: java.lang.String | string, arg1: java.lang.Class<javax.servlet.Servlet>): javax.servlet.ServletRegistration$Dynamic
            createServlet<T extends javax.servlet.Servlet>(arg0: java.lang.Class<T>): T
            getServletRegistration<T extends javax.servlet.Servlet>(arg0: java.lang.String | string): javax.servlet.ServletRegistration
            getServletRegistrations<T extends javax.servlet.Servlet>(): java.util.Map<java.lang.String, javax.servlet.ServletRegistration>
            addFilter<T extends javax.servlet.Servlet>(arg0: java.lang.String | string, arg1: java.lang.String | string): javax.servlet.FilterRegistration$Dynamic
            addFilter<T extends javax.servlet.Servlet>(arg0: java.lang.String | string, arg1: javax.servlet.Filter): javax.servlet.FilterRegistration$Dynamic
            addFilter<T extends javax.servlet.Servlet>(arg0: java.lang.String | string, arg1: java.lang.Class<javax.servlet.Filter>): javax.servlet.FilterRegistration$Dynamic
            createFilter<T extends javax.servlet.Filter>(arg0: java.lang.Class<T>): T
            getFilterRegistration<T extends javax.servlet.Filter>(arg0: java.lang.String | string): javax.servlet.FilterRegistration
            getFilterRegistrations<T extends javax.servlet.Filter>(): java.util.Map<java.lang.String, javax.servlet.FilterRegistration>
            getSessionCookieConfig<T extends javax.servlet.Filter>(): javax.servlet.SessionCookieConfig
            setSessionTrackingModes<T extends javax.servlet.Filter>(arg0: java.util.Set<javax.servlet.SessionTrackingMode>): void
            getDefaultSessionTrackingModes<T extends javax.servlet.Filter>(): java.util.Set<javax.servlet.SessionTrackingMode>
            getEffectiveSessionTrackingModes<T extends javax.servlet.Filter>(): java.util.Set<javax.servlet.SessionTrackingMode>
            addListener<T extends javax.servlet.Filter>(arg0: java.lang.String | string): void
            addListener<T extends java.util.EventListener>(arg0: T): void
            addListener<T extends java.util.EventListener>(arg0: java.lang.Class<java.util.EventListener>): void
            createListener<T extends java.util.EventListener>(arg0: java.lang.Class<T>): T
            getJspConfigDescriptor<T extends java.util.EventListener>(): javax.servlet.descriptor.JspConfigDescriptor
            getClassLoader<T extends java.util.EventListener>(): java.lang.ClassLoader
            declareRoles<T extends java.util.EventListener>(...arg0: java.lang.String[]): void
            getVirtualServerName<T extends java.util.EventListener>(): string
        }
    }
}