TmpFileStoreEditorInput.UNTITLED_PROPERTY);
}
catch(CoreException e) {
// Don't know what to do here - this is really bad, but doSave does not expect
// any errors.
throw new WrappedException(e);
}
if(val != null && "true".equals(val)) {
doSaveAs();
return;
}