svoid desktopOpen(File f) {
  Desktop.getDesktop().open(f);
}