Experiment to add external annotations for nullity to Eclipse's compiler and UI.