protected Document newEmptyDocument() {
		Document doc = docBuilder.newDocument();
		// Add the processing instruction.
		/*
		 * doc.appendChild(doc.createProcessingInstruction ("xml",
		 * "version=\"1.0\""));
		 */
		// Add the credit string for JFLAP.
		doc.appendChild(createComment(doc, "Created with JFLAP "
				+ gui.AboutBox.VERSION + "."));
		// Create and add the <structure> element.
		Element structureElement = createElement(doc, STRUCTURE_NAME, null,
				null);
		doc.appendChild(structureElement);
		// Add the type of this document.
		structureElement.appendChild(createElement(doc, STRUCTURE_TYPE_NAME,
				null, getType()));
		// Return the skeleton document.
		return doc;
	}