I am trying to convince myself that actions taken in the finally clause happen before the function return (in the memory consistency sense). From the J
finally
The finally clause shall execute no matter what is the result or behaviour of the try block, so the finally gets executed before the return.
try
return