Enhance "null analysis" using eclipse