In this screen shot we see that some diagnostics use the short name of the annotation but one uses the fully qualified name. The short name is more concise and readable and is appropriate in this context.
See invalidAnnotations.add("@" + annotation.getQualifiedName()); in ManagedBeanDiagnosticsCollector