org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/testGenerics17/in/A.java

package p;
abstract class A<T>{

	public abstract T f();
}
abstract class B<S> extends A<String>{
}
class C extends A<Object>{
	public Object f(){return null;}
}