svoid desktopOpen(File f) {
  if (f != null)
    Desktop.getDesktop().open(f);
}