static void interruptThread(Thread thread) {
  if (t != null) t.interrupt();
}