am 8d7e077d: Merge "Improve performance of HashSet"

* commit '8d7e077dc6069f5973059d41cee63cf12708806a':
  Improve performance of HashSet