static <A> HashSet<A> cloneHashSet(Collection<A> set) {
  if (set == null) ret new HashSet;
  synchronized(collectionMutex(set)) {
    new HashSet<A> s;
    s.addAll(set);
    ret s;
  }
}