public Document toDOM(java.io.Serializable structure) {
		Automaton automaton = (Automaton) structure;
		originalAutomaton = automaton;
		Document doc = newEmptyDocument();
		Element se = doc.getDocumentElement();
		se.appendChild(createAutomatonElement(doc, automaton, AUTOMATON_NAME));

		// Return the completed document.
		return doc;
	}