Matt-
I have re-run the JastAdd non-null inference and put it in the same place,
~mernst/tmp/nninfer . In particular, this new version of Daikon has the
current type qualifiers. The inference results are also somewhat
different. That directory also still contains the older version that you
were using; I didn't delete it.
-Mike