interface I extends J.K {}