static <A> void syncClear(Collection<A> c) {
  if (c != null) synchronized(c) { c.clear(); }
}