Program: 67750
Project: 67750
Buggy source:
void promptToChangePlatform(){
  if (this.getNode().isDirty()) {
    int option=JOptionPane.showConfirmDialog(this.getWorkbenchContext().getCurrentWindow(),this.resourceRepository().getString("String_Node_Str",StringTools.CR),this.resourceRepository().getString("String_Node_Str"),JOptionPane.YES_NO_CANCEL_OPTION,JOptionPane.WARNING_MESSAGE);
    if (option == JOptionPane.CANCEL_OPTION) {
      return;
    }
    if (option == JOptionPane.YES_OPTION) {
      this.getNode().save(null,this.getWorkbenchContext());
    }
  }
  SimplePropertyValueModel selectionHolder=new SimplePropertyValueModel(this.getDatabase().getDatabasePlatform());
  DatabasePlatformChooserDialog platformChooser=new DatabasePlatformChooserDialog(this.getWorkbenchContext(),selectionHolder);
  platformChooser.show();
  if (platformChooser.wasConfirmed()) {
    DatabasePlatform newPlatform=(DatabasePlatform)selectionHolder.getValue();
    this.getDatabase().setDatabasePlatform(newPlatform);
    this.preferences().put(ProjectCreationDialog.DATABASE_PLATFORM_PREFERENCE,newPlatform.getName());
  }
}

Fixed version (ground truth):
void promptToChangePlatform(){
  if (this.getNode().isDirty()) {
    int option=JOptionPane.showConfirmDialog(this.getWorkbenchContext().getCurrentWindow(),this.resourceRepository().getString("String_Node_Str",StringTools.CR),this.resourceRepository().getString("String_Node_Str"),JOptionPane.YES_NO_CANCEL_OPTION,JOptionPane.WARNING_MESSAGE);
    if (option == JOptionPane.CANCEL_OPTION) {
      return;
    }
    if (option == JOptionPane.YES_OPTION) {
      this.getNode().save(null,this.getWorkbenchContext());
    }
  }
  if (this.getDatabase().getDevelopmentLoginSpec() != null) {
    if (this.getDatabase().isConnected()) {
      int option=JOptionPane.showConfirmDialog(this.getWorkbenchContext().getCurrentWindow(),this.resourceRepository().getString("String_Node_Str",StringTools.CR),this.resourceRepository().getString("String_Node_Str"),JOptionPane.YES_NO_OPTION,JOptionPane.WARNING_MESSAGE);
      if (option == JOptionPane.YES_OPTION) {
        if (this.getDatabase().isConnected()) {
          try {
            this.getDatabase().logout();
          }
 catch (          SQLException exception) {
            throw new RuntimeException(exception);
          }
        }
        this.getDatabase().setDevelopmentLoginSpec(null);
      }
    }
 else {
      int option=JOptionPane.showConfirmDialog(this.getWorkbenchContext().getCurrentWindow(),this.resourceRepository().getString("String_Node_Str",StringTools.CR),this.resourceRepository().getString("String_Node_Str"),JOptionPane.YES_NO_OPTION,JOptionPane.WARNING_MESSAGE);
      if (option == JOptionPane.YES_OPTION) {
        this.getDatabase().setDevelopmentLoginSpec(null);
      }
    }
  }
  SimplePropertyValueModel selectionHolder=new SimplePropertyValueModel(this.getDatabase().getDatabasePlatform());
  DatabasePlatformChooserDialog platformChooser=new DatabasePlatformChooserDialog(this.getWorkbenchContext(),selectionHolder);
  platformChooser.show();
  if (platformChooser.wasConfirmed()) {
    DatabasePlatform newPlatform=(DatabasePlatform)selectionHolder.getValue();
    this.getDatabase().setDatabasePlatform(newPlatform);
    this.preferences().put(ProjectCreationDialog.DATABASE_PLATFORM_PREFERENCE,newPlatform.getName());
  }
}