A carefully curated repository of Eclipse External null Annotations (EEA) for enhanced static null analysis - View it on GitHub