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

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