svoid addFileIfExists(Cl<File> l, File f) {
  if (l != null && fileExists(f))
    l.add(f);
}