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/test32/out/A.java
package p;
abstract class A {
	@interface Annotation {
		String name();
	}
	private int bar() {
		return foo();
	}
	public abstract int foo();
}
class B extends A {
	public int foo() {
		return 2;
	}
}