!7

//!include #1016478
//!include #1024932

p {
  print("Hopping over to version 6.");
  directNohupJavax(#1016478 + " " + smartJoin(args)); // start v6 instead
  cleanKill();
}