Found no issues even though issues existed

I wrote this java code.
```java
public class Test3 {
public static void main(String[] args) {
divideByZero();
}

private static void divideByZero() {
int dividend = 5;
int divisor = 0;
int result = dividend / divisor;
}
}
```
It is clear that infer should raise an error here as we are dividing by zero. But I got this output saying `no issues found`.

```
Capturing in javac mode...
Found 1 source file to analyze in /fb-infer-tool/examples/infer-out
0/4 [................................................................................] 0% 317ms
|- [ 0.0s][ 8.8M] idle
|- [ 0.0s][ 8.8M] idle
|- [ 0.0s][ 8.8M] idle
|- [ 0.0s][ 8.8M] idle
0/4 [................................................................................] 0% 384ms
|- [ 0.0s][ 8.8M] Test3.java: Test3.()
|- [ 0.0s][ 8.8M] Test3.java: void Test3.main(String[])
|- [ 0.0s][ 8.8M] Test3.java: void Test3.divideByZero()
|- [ 0.0s][ 8.8M] idle
0/4 [................................................................................] 0% 428ms
|- [ 0.1s][ 8.8M] Test3.java: Test3.()
|- [ 0.0s][ 8.8M] idle
|- [ 0.1s][ 8.8M] Test3.java: void Test3.divideByZero()
|- [ 0.1s][ 8.8M] idle
0/4 [................................................................................] 0% 550ms
|- [ 0.2s][ 8.8M] Test3.java: Test3.()
|- [ 0.2s][ 8.8M] idle
|- [ 0.2s][ 8.8M] Test3.java: void Test3.divideByZero()
|- [ 0.2s][ 8.8M] idle
2/4 [########################################........................................] 50% 628ms
|- [ 0.1s][10.2M] idle
|- [ 0.0s][ 8.8M] idle
|- [ 0.1s][ 8.8M] idle
|- [ 0.0s][ 8.8M] Test3.java: void Test3.main(String[])
2/4 [########################################........................................] 50% 731ms
|- [ 0.2s][10.2M] idle
|- [ 0.2s][ 8.8M] idle
|- [ 0.2s][ 8.8M] idle
|- [ 0.2s][ 8.8M] Test3.java: void Test3.main(String[])
4/4 [################################################################################] 100% 805ms
|- [ 0.2s][10.2M] idle
|- [ 0.2s][ 8.8M] idle
|- [ 0.2s][ 8.8M] idle
|- [ 0.1s][10.2M] idle
|- [ 0.5s][ 8.8M] idle

No issues found
```