In Java code, whether an expression may evaluate to null is often documented