org.eclipse.jdt.core.tests.model/workspace/Completion/src/CompletionDefaultPackage.java

public class CompletionDefaultPackage {
	public void foo() {
		Default.foo();
	}
}