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