static <A> HashSet<A> toHashSet(A[] a) {
  ret a == null ? null : new HashSet(Arrays.asList(a));
}