org.eclipse.jdt.core.tests.model/workspace/Converter15/src/test0140/X.java

package test0140;

@Annot
public enum X {
}