Null analysis by Eclipse JDT

* enables JDT null analysis for the main project
* uses 2 annotations to forbid null return values in StoredList
* includes annotation library