I think we can safely throw here: the system messages will then processed when the mailbox runs again. And then turn line 236 into `if (Thread.interrupted())` (because `processAllSystemMessages` does not actually check this, it only catches IE and rethrows).