static void cleanKillVM() ctex {
  ping();
  cleanKillVM_noSleep();
  Thread.sleep();
}

static void cleanKillVM_noSleep() {
  call(getJavaX(), "cleanKill");
}