RAC crash because of type annotation #947
Description
The retention for NonNull and Nullable type annotations is now set to SOURCE rather then RUNTIME, because usingRUNTIME was causing a compile failure for RAC on racfiles.argnullity.
SOURCE works fine in OpenJML and may even be preferable for all JML annotations, but the reason why this crash occurred for one local variable declaration and not another is unclear and probably is symptomatic of some bug in OpenJML.