@itaifrenkel I don't really understand your suggestion. In all three cases, `super.getException()` will always return null. I am the only one ever calling it and this happens only once.