org.eclipse.jdt.core.tests.model/workspace/JavaSearchBugs/src/b86380/Annot.java

package b86380;
public @interface Annot {
	int field = 0;
	int value();
}