Matt and others-
I expected the number of annotations in signatures to be the same for the
NonNull default and the NNEL default. However, the "Sig" columns in Figure
4 of the Checker Framework paper differ. Can you explain why?
Thanks,
-Mike