org.eclipse.jdt.ui.tests.refactoring/resources/RenameVirtualMethodInClass/testFail23/in/A.java

package p;
//can't rename A.m to k - defined in superclass
class B {
	void k(){
	}
}
class A extends B{
	void m(){
	}
}