[Checkers] Q about new JSR 308 proposal

[Michael Ernst]

Mahmood-

I have slightly expanded the discussion in section "B.3 Syntax of array
annotations", in the JSR 308 design document.  Please let me know if there
is anything there that is:
 * missing, or
 * not clear, or
 * not convincing.

Thanks!

                    -Mike