svoid cancelThreadAndWait(Thread t, int interval default 10) {
  if (t == null) ret;
  cancelThread(t);
  waitUntilThreadNewOrTerminated(t, interval);
}