Bug 112603 Push Down does not add @Override
N20051013-0010 Push m() down, leaving it abstract in Try. The method in Sub should get an @Override annotation iff the target is in a 5.0 project. public class Try { protected void m() { System.out.println("working..."); } } class Sub extends Try { }
org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/testGenerics19/out/A.java
package p;
abstract class A<T>{
	public abstract void f();
	public abstract T m(T t);
}
abstract class B extends A<String>{
	public String m(String t) {
		String s= t;
		return null;
	}
	public abstract void f();
}
class C extends A<Object>{
	public void f(){}
	public Object m(Object t) {
		Object s= t;
		return null;
	}
}