if (dotCorpus.getEditorLineLengthHint() != DotCorpus.EDITOR_LINE_LENGTH_HINT_DEFAULT) {
AttributesImpl editorLineLengthHintAttributes = new AttributesImpl();
editorLineLengthHintAttributes.addAttribute("", "", EDITOR_LINE_LENGTH_ATTRIBUTE, "",
Integer.toString(dotCorpus.getEditorLineLengthHint()));
xmlSerHandler.startElement("", EDITOR_ELEMENT, EDITOR_ELEMENT,
editorLineLengthHintAttributes);
xmlSerHandler.endElement("", EDITOR_ELEMENT, EDITOR_ELEMENT);
}
xmlSerHandler.endElement("", CONFIG_ELEMENT, CONFIG_ELEMENT);