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

package p;
//can't rename m to k - defined in subclass
class A implements I{
	public void m(){
	}
}
class B extends A{
	static void k(){
	}
}
interface I{
	void m();
}