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

package p;
//can't rename m to k
class B{
	void k(){}
}
abstract class A extends B{
	abstract void m();
}