Bug 114551 Push Down and Pull Up should respect preference for adding @Override
org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/test30/out/A.java
package p;
abstract class A {
	public @interface Annotation {
		String name() default "foo";
	}
	private int bar() {
		return foo();
	}
	@Annotation (
		name= "bar"
	)
	public abstract int foo();
}
class B extends A {
	@Override
	public int foo() {
		return 2;
	}
}