org.eclipse.jdt.core.tests.model/workspace/FormatterJSR308/test018/X_out.java

public class X {
	public static void main(String[] args) {
		if (args instanceof @Readonly String) {
		}
	}
}