static void nohupJavax(S javaxargs) {
  nohupJavax(javaxargs, javaxDefaultVMArgs());
}

// not using pre-spun VM if vmArgs present
static void nohupJavax(S javaxargs, S vmArgs) {
  javaxargs = javaxargs.trim();
  if (javaxargs.startsWith("#")) javaxargs = javaxargs.substring(1);
  S snippetID = javaTok(javaxargs).get(1);
  int idx = javaxargs.indexOf(' ');
  S args = idx < 0 ? "" : javaxargs.substring(idx+1).trim();
  
  vmArgs = trim(vmArgs);
  if (empty(vmArgs) && usePreSpunVMs()) {
    S line;
    if (args.length() != 0)
      line = format3("please start program * with arguments *", snippetID, args);
    else
      line = format3("please start program *", snippetID);
    S answer = sendToLocalBotOpt("A pre-spun VM.", line);
    if (match3("ok", answer)) {
      print("OK, used pre-spun VM.");
      ret;
    }
    if (answer != null)
      print("> " + answer);
    print("Using standard nohup.");
  }
  
  classicNohupJavax(javaxargs, vmArgs);
}