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

interface A {
  default void f<caret>oo() {
    System.out.println("");
  }
}

interface B extends A {}