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

package p;
//can't rename A.m to k
class A{
	void m(String s){
	}
}
class B extends A{
	void k(java.lang.String s){
	}
}