X_in.java

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