Java final fields: is “taint” behavior possible with the current JLS

Question

I\'m currently trying to understand this JLS section on final fields.

To understand the text in the JLS better I\'m also reading The Java Memory Model by Jeremy Manson (o