org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/testNew25/in/B.java

package p;
public class B {
	public B(A a){
		a.m();
	}
	public void m() {	}
}