jacks/tests/jls/classes/class-declaration/superinterfaces
