!752

p {
  S name = randomID(10);
  nohupJavax("#1003752 " + name);
  
  for (int i = 0; i < 60; i++) {
    for (DialogIO io : talkToAllVMs())
      try {
        io.readLine(); // get greeting
        S a = io.ask(forward("Up Bot", "get name"));
        if (eq(name, matchOK(a))) {
          S pid = io.ask("what is your pid");
          print("VM Found! Process ID: " + pid + ", port: " + io.getPort());
          print("Shutting down VM in seven...");
          sleepSeconds(7);
          io.ask("kill!");
          ret;
        }
      } finally {
        io.close();
      }
    sleepSeconds(1);
  }
  
  print("Weird, VM did not start...");
}