annotate nullness using eclipse annotations