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

package p;
public class C extends B{
	public C(A a, int i) {
		super(a);
	}
}