!7

//!include #1016478
!include #1024932

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