UPDATE: Nullness annotation for Eclipse 4.3.