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

interface A {
}

abstract class B extends A {
  public void m() {
    //do something
  }
}

class C extends B implements A {}