static S javaxDefaultVMArgs() {
  S text = loadTextFile(javaxDataDir("default-vm-args"));
  if (text == null)
    text = loadProgramTextFile("#1005850", "default-vm-args");
  return trim(unnull(text));
}