Annotations for null-analysis (Eclipse-based but types are non-null by default AND annotations are retained at runtime)