@@ -0,0 +1,441 @@
+package sfBugsNew;%0A%0Apublic class Bug1192 %7B%0A%0A    void mightThrow() %7B%0A%0A    %7D%0A%0A    void check() %7B%0A        try %7B%0A            mightThrow();%0A        %7D catch (IndexOutOfBoundsException %7C NullPointerException e) %7B%0A            if (e instanceof IndexOutOfBoundsException) %7B%0A                System.out.println(%22IndexOutOfBoundsException%22);%0A            %7D else %7B%0A                System.out.println(%22NullPointerException%22);%0A            %7D%0A        %7D%0A    %7D%0A%7D

False positive