declare namespace javax {
    namespace servlet {
        namespace annotation {
            interface WebServlet extends java.lang.annotation.Annotation {
                name(): string
                value(): java.lang.String[]
                urlPatterns(): java.lang.String[]
                loadOnStartup(): int
                initParams(): javax.servlet.annotation.WebInitParam[]
                asyncSupported(): boolean
                smallIcon(): string
                largeIcon(): string
                description(): string
                displayName(): string
            }
        }
    }
}