protected Element createAutomatonElement(Document document, Automaton auto,
			String name) {
		Element se = document.getDocumentElement();
		Element be = createElement(document, name, null, null);
		se.appendChild(be);
		//System.out.println("auto: " + auto);
		writeFields(document, auto, be);
		return be;
	}