anchor.diff:  To support this requirement, [tck-testable]#the Bean Validation provider treats regular annotations (annotations not annotated by [classname]`@Constraint`) whose `value` element has a return type of an array of constraint annotations in a special way. Each element in the `value` array are processed by the Bean Validation implementation as regular constraint annotations.# This means that each constraint specified in the `value` element is applied to the target. The annotation must have retention `RUNTIME` and can be applied on a type, field, property, executable parameter, executable return value, executable cross-parameter or another annotation. It is recommended to use the same set of targets as the initial constraint.
   
   Note to constraint designers: each constraint annotation should be coupled with its corresponding multi-valued annotation. The specification recommends, though does not mandate, the definition of an inner annotation named [classname]`List`.
  +Each constraint annotation type should be meta-annotated with [classname]`java.lang.annotation.Repeatable`, referencing the corresponding [classname]`List` annotation.
  +This marks the constraint annotation type as repeatable and lets users specify the constraint several times without explicitly using the [classname]`List` annotation.
  +All built-in annotations follow this pattern.
   
   .Multi-valued constraint definition
   ====
  
positive.code: [source, JAVA]
  ----
  public class Address {
      @ZipCode.List( {
              @ZipCode(countryCode="fr", groups=Default.class
                       message = "zip code is not valid"),
              @ZipCode(countryCode="fr", groups=SuperUser.class
                       message = "zip code invalid. Requires overriding before saving.")
              } )
      private String zipcode;
  
negative.code: @Constraint(validatedBy = ZipCodeValidator.class)
  @Target({ METHOD, FIELD, ANNOTATION_TYPE, CONSTRUCTOR, PARAMETER })
  @Retention(RUNTIME)
  @Repeatable(List.class)
  public @interface ZipCode {
  
      String countryCode();
  