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

//can't rename I.m to k
package p;
interface I{
	void m();
}
class C1 {
	public void k(){}
}
class C2 extends C1 implements I{
	public void m(){}
}