package z; interface I { void run(); } abstract class A { public void <caret>run() {} } class Foo extends A implements I { }