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

public class X {
    int x() {
        try {
        } catch (@Marker NullPointerException | @Marker ArrayIndexOutOfBoundsException e) {
        }
        return 10;
    }
    Zork z;
}