NXP-12595: override hashCode()