jacks/tests/jls/interfaces/interface-declarations/interface-modifiers
