category minorAnalysis Fixed a bug that was causing false negatives in rare cases in the query java/dereferenced-value-may-be-null.