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