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

 //nothing added to m
 package p;
 class A{
 	protected void m(){}
 }
 class B extends A{
 }
	//nothing added to m
	package p;
	class A{
	protected void m(){}
	}
	class B extends A{
	}