org.eclipse.jdt.ui.tests.refactoring/resources/ChangeTypeRefactoring/positive/A_testParameterTypeWithOverriding2_out.java

package p;

import java.util.*;

public class A_testParameterTypeWithOverriding2 extends A_testParameterTypeWithOverriding_in {
	public void foo(List list2){
		Collection c = list2;
	}
}