static <A> void listAdd(Collection<A> c, A a) {
  if (c != null) c.add(a);
}