java notes: class file format.