This are contrived examples to show what can be done with Eclipse's null analysis.