static void cancelAndInterruptThread(Thread t) {
  if (t == null) ret;
  cancelThread(t);
  t.interrupt();
}