declare namespace javax {
    namespace servlet {
        namespace annotation {
            interface WebInitParam extends java.lang.annotation.Annotation {
                name(): string
                value(): string
                description(): string
            }
        }
    }
}