static <A> void copyList(Collection<? extends A> a, Collection<A> b) {
  b.clear();
  b.addAll(a);
}