static void clear(Collection c) {
  if (c != null) c.clear();
}