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

import java.util.*;

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