jacks/tests/jls/names/members-and-inheritance/members-of-a-class-type
