protected Element createTransitionElement(Document document,
			Transition transition) {
		Element te = super.createTransitionElement(document, transition);
		FSATransition t = (FSATransition) transition;
		// Add what the label is.
		te.appendChild(createElement(document, TRANSITION_READ_NAME, null, t
				.getLabel()));
		return te;
	}