svoid rebootComputer() {
  logQuotedWithDate(javaxDataDir("Logs/reboot-log.txt"), "Rebooting computer");
  if (isWindows())
    windows_reboot();
  else
    linux_reboot();
}