es.upm.dit.gsi.eclipse.jadex.diagram.eclipseJadex.diagram.part.Messages.JadexAgentsDiagramEditor_SaveErrorTitle,
es.upm.dit.gsi.eclipse.jadex.diagram.eclipseJadex.diagram.part.Messages.JadexAgentsDiagramEditor_SaveErrorMessage,
x.getStatus());
}
} finally {
provider.changed(newInput);
if (success) {
setInput(newInput);
}
}
if (progressMonitor != null) {