[Checkers] Crashes when checking Daikon

[Michael Ernst]

All of the following commands crash.  I am running them from
~mernst/research/invariants/java/, but you can do so from your own
checkout.

  make check-nullness-all
  make check-igj-all
  make check-javari-all

I can provide the exact backtraces if these do not crash for you.

                    -Mike