Final variables in class file format
<p>Does <strong>class</strong> file format provide support for <em>final</em> keyword in case of using it with variables?<br> 
Or does it just deduce the effective finality of a variable from code and JIT compiler perform optimization based on it?</p>

<p><a href="https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html" rel="nofollow">Here</a>, in class file format documentation, they mentioned about final keyword, but only in case of using it with <em>final block</em> and <em>final class</em>.<br>
There is nothing about <strong>final variables</strong>.</p>