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

import java.util.*;

class A_testParameterTypeWithOverride_in {
	static class X {
		public void foo(List v1){
			Collection c = v1;
		}
	}
	static class Y extends X {
		public void foo(List v2){
			v2 = new ArrayList();
		}
	}
}