svoid killAllOtherVMsAndWait() {
  killAllOtherVMs();
  int n;
  while ((n = l(allVMPorts())-1) > 0) {
    print("Waiting for " + n2(n, "JavaX VM") + " to shut down...");
    sleepSeconds(1);
  }
}