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