cgeo/cgeo — pull request #3189 by Bananeweizen (2013-08-25 12:49:33+00:00)
Title: 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