org.eclipse.jdt.core.tests.model/workspace/Converter15/src/test0032/A.java

package test0032;

class C<X> {
}
public abstract class A<Y,X> implements C<X> {}