static void waitForThreads(Collection<Thread> threads) ctex {
  for (Thread t : threads) t.join();
}