String msg = "Save could not be completed. " + x.getMessage();
MessageDialog.openError(shell, title, msg);
}
}
finally {
provider.changed(newInput);
if(success)
setInput(newInput);
// the linked file must be removed (esp. if it is an "untitled" link).
ExtLinkedFileHelper.unlinkInput(((IFileEditorInput) input));
// remember last saveAs location