am 6ee9366f: am 8d7e077d: Merge "Improve performance of HashSet"

* commit '6ee9366f6a41e918d582a014e6283d0c80a7d23e':
  Improve performance of HashSet