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

public class X  {
    public static void main(String [] args) {
        int i = (@Marker int) 0;
        int j [] = (@Marker int @Marker []) null;
        Zork z;
    }
}