Program: 123608
Project: 123608
Buggy source:
@Override public void run(){
  SaveAsBusinessModelWizard businessModelWizard=new SaveAsBusinessModelWizard(editorPart);
  WizardDialog dlg=new WizardDialog(Display.getCurrent().getActiveShell(),businessModelWizard);
  if (dlg.open() == Window.OK) {
    try {
      RepositoryManager.refreshCreatedNode(ERepositoryObjectType.BUSINESS_PROCESS);
      BusinessProcessItem businessProcessItem=businessModelWizard.getBusinessProcessItem();
      IRepositoryNode repositoryNode=RepositoryNodeUtilities.getRepositoryNode(businessProcessItem.getProperty().getId(),false);
      businessProcessItem=(BusinessProcessItem)repositoryNode.getObject().getProperty().getItem();
      IWorkbenchPage page=getActivePage();
      DiagramResourceManager diagramResourceManager=new DiagramResourceManager(page,new NullProgressMonitor());
      IFile file=businessModelWizard.getTempFile();
      RepositoryEditorInput newBusinessModelEditorInput=new RepositoryEditorInput(file,businessProcessItem);
      newBusinessModelEditorInput.setRepositoryNode(repositoryNode);
      IDocumentProvider provider=((BusinessDiagramEditor)this.editorPart).getDocumentProvider();
      provider.aboutToChange(newBusinessModelEditorInput);
      provider.saveDocument(null,newBusinessModelEditorInput,provider.getDocument(this.editorPart.getEditorInput()),true);
      provider.changed(newBusinessModelEditorInput);
      diagramResourceManager.updateFromResource(businessProcessItem,newBusinessModelEditorInput.getFile());
      ProxyRepositoryFactory.getInstance().save(businessProcessItem);
      page.closeEditor(this.editorPart,false);
      IEditorPart openEditor=page.openEditor(newBusinessModelEditorInput,BusinessDiagramEditor.ID,true);
    }
 catch (    Exception e) {
      MessageDialog.openError(Display.getCurrent().getActiveShell(),"String_Node_Str","String_Node_Str" + "String_Node_Str" + e.getMessage());
      ExceptionHandler.process(e);
    }
  }
}

Fixed version (ground truth):
@Override public void run(){
  SaveAsBusinessModelWizard businessModelWizard=new SaveAsBusinessModelWizard(editorPart);
  WizardDialog dlg=new WizardDialog(Display.getCurrent().getActiveShell(),businessModelWizard);
  if (dlg.open() == Window.OK) {
    try {
      BusinessProcessItem businessProcessItem=businessModelWizard.getBusinessProcessItem();
      IRepositoryNode repositoryNode=RepositoryNodeUtilities.getRepositoryNode(businessProcessItem.getProperty().getId(),false);
      businessProcessItem=(BusinessProcessItem)repositoryNode.getObject().getProperty().getItem();
      IWorkbenchPage page=getActivePage();
      DiagramResourceManager diagramResourceManager=new DiagramResourceManager(page,new NullProgressMonitor());
      IFile file=businessModelWizard.getTempFile();
      RepositoryEditorInput newBusinessModelEditorInput=new RepositoryEditorInput(file,businessProcessItem);
      newBusinessModelEditorInput.setRepositoryNode(repositoryNode);
      IDocumentProvider provider=((BusinessDiagramEditor)this.editorPart).getDocumentProvider();
      provider.aboutToChange(newBusinessModelEditorInput);
      provider.saveDocument(null,newBusinessModelEditorInput,provider.getDocument(this.editorPart.getEditorInput()),true);
      provider.changed(newBusinessModelEditorInput);
      diagramResourceManager.updateFromResource(businessProcessItem,newBusinessModelEditorInput.getFile());
      ProxyRepositoryFactory.getInstance().save(businessProcessItem);
      page.closeEditor(this.editorPart,false);
      IEditorPart openEditor=page.openEditor(newBusinessModelEditorInput,BusinessDiagramEditor.ID,true);
    }
 catch (    Exception e) {
      MessageDialog.openError(Display.getCurrent().getActiveShell(),"String_Node_Str","String_Node_Str" + "String_Node_Str" + e.getMessage());
      ExceptionHandler.process(e);
    }
  }
}