Thanks for the suggestion.  Using the HashSet constructor that takes a Collection is definitely simpler and clearer.