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

package p;

import java.util.Set;

abstract class A{

	public abstract Set m();
}