testplugins/org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/test33/out/C.java

package p;

import static java.lang.Math.PI;

import java.util.Collection;
import java.util.List;
import java.util.Set;

abstract class C extends A{

	public Collection i;

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

	public abstract Set m();
}