JDT Annotations for Enhanced Null Analysis
