svoid desktopOpen(File f) ctex {
  if (f != null) {
    print("desktopOpen: " + f2s(f));
    Desktop.getDesktop().open(f);
  }
}