declare namespace javax {
    namespace servlet {
        namespace annotation {
            interface ServletSecurity extends java.lang.annotation.Annotation {
                value(): javax.servlet.annotation.HttpConstraint
                httpMethodConstraints(): javax.servlet.annotation.HttpMethodConstraint[]
            }
        }
    }
}