// a new Date will be created and set to the text value of
// this node.
// Sets the modified Date and adds the new Date to the
// listOfModifications of modelHistory.
else if (previousElement.equals("modified")) {
String stringDate = dateProcessor.formatToW3CDTF(characters);
try {
Date modifiedDate = DateParser.parse(stringDate);
modelHistory.setModifiedDate(modifiedDate);
} catch (InvalidDateException e) {