pulse NULLPTR_DEREFERENCE False negative when run the java example in checker-pulse doc

1. infer-version
**Infer version v1.1.0-605603504e**
I pull the newest code from github and compile.

2. operating system and version
**Ubuntu 20.04.6 LTS**
Run in windows10 wsl

3. Command
**infer run --pulse -- javac Test.java**
Same as the command in [https://fbinfer.com/docs/checker-pulse](https://fbinfer.com/docs/checker-pulse)

4. The full output


5. a minimal example to reproduce your problem
just do as the doc show in [https://fbinfer.com/docs/checker-pulse](https://fbinfer.com/docs/checker-pulse)

6. Others
when i open debug mode, i get some thing different.
I get the thing about Bad_footprint in [https://github.com/facebook/infer/issues?q=Bad_footprint](https://github.com/facebook/infer/issues?q=Bad_footprint)，but i still wonder whether it effect the analysis when debug mode disable