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

package p;
abstract class A<T>{
}
abstract class B<T> extends A<String>{

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