org.eclipse.jdt.ui.tests.refactoring/resources/TypeConstraints/A_testConstraints18.java

package p;
class A{
	A(A a0){
	}
}
class B extends A{
	B(A a1){
		super(a1);
	}
}