docs: public static File getJNLPLocalScratch()  {
      try {
        String machineName = InetAddress.getLocalHost().getHostName().split("\\.")[0];
        String username = System.getProperty("user.name");
        return new File("/"+machineName+"/scr1/"+username);
      } catch (Exception e) {
        return new File("./scr/"); // default scratch
      }
    }