openide/java/java-tests/testData/refactoring/pushDown/MethodsInheritedFromSuper1_after.java

@interface Anno {}
interface A {
}

class FooBar {
  public String m() {}
}

class B extends FooBar implements A {
    @Anno
    public String m() {}
}