Slides for final fields semantics in java memory model