See also the comments in org.hibernate.search.indexes.impl.IndexShardingStrategyIndexManagerSelector.toSet(IndexManager[]). Could be cleaned up?