declare namespace javax {
    namespace servlet {
        namespace annotation {
            interface HttpConstraint extends java.lang.annotation.Annotation {
                value(): javax.servlet.annotation.ServletSecurity$EmptyRoleSemantic
                transportGuarantee(): javax.servlet.annotation.ServletSecurity$TransportGuarantee
                rolesAllowed(): java.lang.String[]
            }
        }
    }
}