static void cleanUpAndClear(Collection c) {
  cleanUp(c);
  c.clear();
}