jacks/tests/jls/names/members-and-inheritance/members-of-an-interface-type
