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

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