interface I {} interface J extends I { default void $init$() { }; } class C implements J {}