public static Element createProductionElement(Document document,
			Production production) {
		Element pe = createElement(document, PRODUCTION_NAME, null, null);
		pe.appendChild(createElement(document, PRODUCTION_LEFT_NAME, null,
				production.getLHS()));
		pe.appendChild(createElement(document, PRODUCTION_RIGHT_NAME, null,
				production.getRHS()));
		return pe;
	}