java notes: JMM.