org.eclipse.jdt.core.tests.model/workspace/Converter15/src/test0231/Test3.java

package test0231;

public class Test3 extends Test2 {
    
}