关于java异常try catch finally的一道题

这两天，有人咨询我一道关于java基础的题，具体代码如下：

 private static int m1() {
     int a = 10;
     try {
         a = 20;
         throw new RuntimeException();
     } catch (Exception e) {
         a = 30;
         return a;
     } finally {
         a = 40;
     }
 }

他问我这个方法的返回结果是多少？finally代码块不是一定会执行的吗？a不是赋值了40？为什么a返回的是30？
我说返回30，具体为什么是30呢？，为了更有说服力，我把上面代码的class进行反编译，得到如下代码：

 private static int m1(){
     int a = 10;
     try {
     　　a = 20;
     　　throw new RuntimeException();
     } catch (Exception e){
      　　e = e;
      　　a = 30;
      　　int i = a;
      　　a = 40;return i;
      } finally {
      　　localObject = finally;
      　　a = 40;
      　　throw ((Throwable)localObject);
      }
 }

我们看第9和第10两行代码，心里是否已经有了答案？之所以结果是30是因为return返回的是i，而i是由a赋值30后赋值给的i。

总结：首先a初始化赋值为10，接着a重新赋值为了20，然后throw抛出异常catch被执行，所以a再次被赋值为30，接着把a赋值给i，所以i为30。当return的时候本来应该是直接返回i的，但是程序还要执行finally代码块，所以程序把i先放到暂存。最后虽然a被赋值为了40，但是程序返回的是i（30）。