org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/test33/in/A.java

package p;

import static java.lang.Math.PI;
import java.util.Collection;
import java.util.List;
import java.util.Set;

abstract class A{

	public Collection i;

	public List f() {
		double d= PI;
		return null;
	}

	public abstract Set m();
}