jacks/tests/jls/classes/class-declaration/class-modifiers/abstract-classes
