HM: HashSet size should be double maxDoc for better performance