Once we de-dupe finally blocks, it makes more sense for the finally block to follow the try block instead of the catch block following the try block. This is because in the course of normal execution, the try block will fall thru to the finally block. We should minimize the jumps in the normal case.