Java Memory Model 2128