private static void appendCourse(StringBuffer b, CourseRec record) {
		b.append(record.getName()).append("[").append(record.getStatus())
				.append("]<br/>");
		b.append("From ").append(CourseRec.idSet(record.getUniversities()));
		if (record.getInstructor() != null && !record.getInstructor().isEmpty())
			b.append(" by ").append(record.getInstructor());
		b.append("</b><br/>");
		boolean first = true;
		if (!record.getOfferings().isEmpty()) {
			b.append("Sessions:");
			for (OffRec or : record.getOfferings()) {
				if (!first)
					b.append(",");
				else
					first = false;
				if (or.getStart() != null)
					b.append(" ").append(OffRec.dformat.format(or.getStart()));
			}
			b.append("<br/>");
		}
		b.append("<div width=500px>").append(record.getDescription())
				.append("</div>");
	}