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

package p;
abstract class A<T>{

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