static <A> TreeSet<A> cloneTreeSet(Set<A> set) {
  if (set == null) ret new TreeSet;
  synchronized(collectionMutex(set)) {
    TreeSet<A> s = new TreeSet(set);
    s.addAll(set);
    ret s;
  }
}