Document: lang-vm.html
Chapter: 2.
Assertion:
...
attributes: One Module attribute must be present. Except for Module, InnerClasses, Synthetic, SourceFile, SourceDebugExtension, and Deprecated, none of the pre-defined attributes in JVMS 4.7 may appear.
...
The following pre-defined attributes in JVMS 4.7 can be added to CF without raising any exceptions: ConstantValue, Code, Exceptions, Signature, LineNumberTable
(see attachment)