svoid openFileInBrowser(File f) {
  if (f == null) ret;
  /*if (isLinux())
    nohup(print(firstCmdOnPATH_mandatory("xdg-open") + " " + platformQuote(f)));
  else*/
    openPlatformBrowser(fileToURL(f));
}