With the improvements to the checkers framework since the last time that I
ran the case study, I was able to remove about 1/3 of the
@SuppressWarnings("interned")
annotations from Daikon (as well as checking more code). This is good
news! I hope that we'll see similar improvements in the other case
studies.
-Mike