jacks/tests/jvms/class-file-format/attributes/deprecated-attribute
