testplugins/org.eclipse.objectteams.otdt.tests/workspace/Hierarchy/src/test013/C1.java

package test013;

public class C1 extends C0 {}