static <A> void replaceCollection(Collection<A> dest, Collection<A> src) {
  if (dest == src) ret;
  dest.clear();
  dest.addAll(src);
}