I was absolutely sure! I don’t see the point in going into every little detail of the language spec when someone is new to the language, or being needlessly ambiguous in this case. But, deferring to the rules (note use of “must” 
)
Each local variable (§14.4) and every blank
finalfield (§4.12.4, §8.3.1.2) must have a definitely assigned value when any access of its value occurs.
https://docs.oracle.com/javase/specs/jls/se7/html/jls-16.html