org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/test1/out/A.java - jdt/eclipse.jdt.ui - Git at Google

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

 	@Override
 	public void m() {}
 }
	package p;
	abstract class A{
	public abstract void m();
	}
	class B extends A{

	@Override
	public void m() {}
	}