文または分岐が実行されるなら、この時点で値は null であり、null 値を利用する (フォワードパスで実行時例外を伴うこと以外は) ことが保証されています。

なお、if (x == null) throw new NullPointerException();x の参照解除として扱われることに注意して下さい。