static void setDefaultVMArgs(S args) {
  S oldArgs = javaxDefaultVMArgs();
  args = trim(args);
  if (neq(unnull(oldArgs), unnull(args))) {
    print();
    print("Changing default VM arguments from");
    print("  " + oldArgs);
    print("to");
    print("  " + args);
    print();
    saveProgramTextFile("#1005850", "default-vm-args", nullIfEmpty(args));
  }
}