Finally block executed twice

Finally block is executed twice when both the try body and finally block throw. Observed only in the presence of a terminator and at least one catch block.