why is that? why not to catch just the InterruptedEx and avoid the casting?