org.eclipse.jdt.core.tests.model/workspace/Resolve/src/b120350/X.java

public class X extends Secondary {}