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){
	}
}