result.append(", xtext: ");
result.append(xtext);
result.append(", sirius: ");
result.append(sirius);
result.append(", ecl: ");
<BUG>result.append(ecl);
result.append(", fileExtension: ");</BUG>
result.append(fileExtension);
result.append(')');
return result.toString();

result.append(", xtext: ");
result.append(xtext);
result.append(", sirius: ");
result.append(sirius);
result.append(", ecl: ");
result.append(ecl);
result.append(", xmof: ");
result.append(xmof);
result.append(", fileExtension: ");
result.append(fileExtension);
result.append(')');
return result.toString();
