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

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