new JavaDocComment ("This class (" + javaClassRep.getClassName().getUnqualifiedJavaSourceName() + ") provides a Java data class corresponding to");
jdc.addLine("the CAL type constructor " + typeConstructorInfo.typeConstructor.getName() + ".");
jdc.addLine("");
if (typeConstructorInfo.isEnumerationType) {
jdc.addLine("This type constructor is an enumeration. (i.e. all data constructors have no fields)");
jdc.addLine("The individual data constructors are represented by instances of " + javaClassRep.getClassName().getUnqualifiedJavaSourceName() + " held ");
jdc.addLine("in static final fields.");
} else {
jdc.addLine("Because the type constructor has only one data constructor, with the same name");
jdc.addLine("as the type constructor this class also represents instances of the data constructor.");