svoid cancelThreadAndWait(Thread t, int interval default 10) {
  if (t == null) ret;
  cancelThread(t);
  waitUntil(interval, () -> threadIsNewOrTerminated(t));
}