Updated ClassFileReader to insert labels appropriately.  However, it doesn't seem to be working ...