1 <p> A value is checked here to see whether it is null, but this value can't
2 be null because it was previously dereferenced and if it were null a null pointer
3 exception would have occurred at the earlier dereference.
4 Essentially, this code and the previous dereference
5 disagree as to whether this value is allowed to be null. Either the check is redundant
6 or the previous dereference is erroneous.</p>