svoid cleanReboot() {
  nohupJavax(#1020011 + " reboot");
}