writeClassInfo   777 defs/Defs.java             writeClassInfo(out, cd, id);
writeClassInfo   783 defs/Defs.java                 writeClassInfo(out, cd, id);