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

package p;
abstract class A{
	/**
	 * comment
	 */
	public abstract void m();
}
class B extends A{

	@Override
	public void m() {}
}