The main body of a try and each exception handler are getting a copy of the finally block for the "normal" flow case (i.e. where they don't throw an uncaught exception or use "return" to exit early). But that's not necessary. The try body and each exception handler can all share the same normal exit path through the same copy of the finally block.