static void waitUntilInjectionsDone(L<Injection> injections) {
  print("Waiting for " + l(injections) + " injection(s) to end.");
  
  injections = cloneList(injections);
  
  while (true) {
    for (ListIterator<Injection> it = injections.listIterator(); it.hasNext(); ) {
      Injection i = it.next();
      if (match3("yes", sendToBotQuietly(i.vmPort, "is injection's * main done", i.injectionID)))
        it.remove();
    }
    if (injections.isEmpty())
      ret;
    sleep(500);
  }
}