¿Por qué se permite este comportamiento en el modelo de memoria de Java?