static <A> void removeAllBut(Set<A> a, Collection<A> b) {
  for (Iterator<A> it = a.iterator(); it.hasNext(); )
    if (!b.contains(it.next()))
      it.remove();
}