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

* commit '7b72874a9827a984fc8af1cbdba0e4718670eedd':
  Improve performance of HashSet