Updated Eclipse library with annotations
Fix problems arising from automatic null analysis
More code cleanup after null analysis