Finally loops can replace an unmatched exception with a collection error

A Finally block containing a loop can fail with an unrelated collection error when none of its Catch clauses matches. The Finally block should finish and the original exception should reach the enclosing handler.