docs: private void printClassList(PrintStream out, Iterable<EntityIdValue> classes) {
  		out.print(",\"");
  		boolean first = true;
  		for (EntityIdValue superClass : classes) {
  			if (first) {
  				first = false;
  			} else {
  				out.print("@");
  			}
  			// makeshift escaping for Miga:
  			out.print(getClassLabel(superClass).replace("@", "＠"));
  		}
  		out.print("\"");
  	}