adaptor.addChild(root_0, EOF4_tree);
if (!docprop.containsKey(BELDocumentProperty.NAME)) {
addError(new DocumentNameException(lastDocumentPropertyLocation, 0));
} else if (!docprop.containsKey(BELDocumentProperty.DESCRIPTION)) {
addError(new DocumentDescriptionException(lastDocumentPropertyLocation, 0));
} else if (!docprop.containsKey(BELDocumentProperty.VERSION)) {
addError(new DocumentVersionException(lastDocumentPropertyLocation, 0));
} else {