Fixed a bug in the class file generator.