Java: Support precondition calls as guards (ODASA-7796).

[aschackmull]

Fixes #986.

Calls need to be at the end of basic blocks in order to function as guards, so we add a few additional exception edges to the CFG. We already include such edges for calls nested inside finally blocks, so an argument could be made for simply adding such edges to all calls, but that would require additional testing to check how much the CFG would grow, so this seems safer.

[aschackmull]

Query changes are looking good. All removed results were FPs and the two new results are TPs.

=== Overall changes (new / fixed) ===

                                                                            2 / 15


=== Changes per project (new / fixed) ===

apache-hadoop                                                               0 / 10
guava                                                                       2 / 5


=== Changes per query (new / fixed) ===

ArrayIndexOutOfBounds.ql                                                    0 / 15
UselessNullCheck.ql                                                         2 / 0