//can't rename A.m to k
package p;

class A {
	void m(){ }
}

class B {
	void k(){ }
	class I extends A {
		void f(){
			k(); //binds to A#k() iff that exists
		}
	}
}