Title: Java Virtual Machine Specification, Java SE 7 Edition