import java.io.*; interface Persistable { } public aspect Code3 { public interface I extends Persistable { } public static void foo() {} public Z I.bar(Z foo, Persistable that) { return foo; } }