Checked for a null pointer that should not occur and I believe is caused
by some Java runtime error