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

package p;
abstract class A<T>{
	public abstract T m();
}
class B extends A<String>{

	@Override
	public String m() {return null;}
}
class B1 extends B{
}
class C extends A<String>{

	@Override
	public String m() {return null;}
}