The JVM spec gives no semantics for the final flag other than a vaguely-worded
sentence fragment in table 4.4, yet VMs optimize using
the assumption that a final variable may only be assigned once. It would be
nice if the VM spec had more specific wording to support that optimization.