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

public class X {
    void foo() throws @Marker NullPointerException, @Marker ArrayIndexOutOfBoundsException {}
}