[Checkers] No crash in Javari checker on Daikon

[Michael Ernst]

Telmo and Mahmood-

Sorry for the false alarm, I wasn't using an up-to-date version of the
Checker Framework.  After updating, I don't get any crashes, but I do get
errors.  Please see the attached.

                    -Mike

-------------- next part --------------
A non-text attachment was scrubbed...
Name: javari-on-daikon-output.txt
Type: application/octet-stream
Size: 26823 bytes
Desc: not available
Url : https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080903/b063a2f4/attachment-0001.obj