org.eclipse.jdt.ui.tests.refactoring/resources/RenameMethodInInterface/test20/in/A.java

//renaming I.m to k
package p;
interface I {
	void m();
}
interface J{
	void m();
}
interface J2 extends J{
	void m();
}

class A{
	public void m(){}
}
class C extends A implements I, J{
}