Annotation attributes must not appear more than once

The JVM Specification says that there may be at most one of the following attributes in the attributes table of a ClassFile, field_info, or method_info structure for these attributes: Runtime(In)VisibleAnnotations, Runtime(In)VisibleParameterAnnotations, AnnotationDefault, and SourceDebugExtension.

The verifier does not detect if these attributes are specified multiple times per relevant ClassFile, field_info, or method_info structure.