!752

p {
  Thread t = startThread("Bla", r { while licensed { sleep(100); } });
  Thread.setDefaultUncaughtExceptionHandler(new Thread.UncaughtExceptionHandler() {
    public void uncaughtException(Thread t, Throwable e) {
      print("Uncaught exception in " + t + "!");
      S msg = getInnerMessage(e);
      if (eq(msg, "Thread cancelled.")) {
        print("Thread was cancelled.");
        print(isThreadCancelled(t) ? "ok" : "what?");
      } else
        print("Message: " + msg);
    }
  });
  cancelThread(t);
  assertFalse(isThreadCancelled(currentThread()));
}