static void joinThreadForSomeTime(Thread t, int ms) ctex {
  if (t != null) t.join(ms);
}