373839404142434445
this.shell = shell; } protected XMLMementoHelper getXMLMementoHelper() { if (xmlMementoHelper == null) { xmlMementoHelper = new XMLMementoHelper(); } return xmlMementoHelper; }