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

package test0231;

@Test("SUCCESS")
@Test("FAILED")
public class Test2 {
    
}