format notes
notes on jvm spec