java/java-tests/testData/refactoring/pushDown/fromInterface/after/a/I1.java

package a;
public interface I1 extends I {
    void foo();
}