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

//can't rename I.m to k
package p;
interface I{
void m();
}
class A{
public void m(){};
}
class B1 extends A implements J{
		public void k(){}
}
class B2 extends A implements I{

}
interface J{
void m();
void k();
}