Program: 101951
Project: 101951
Buggy source:
private void refreshDisplayValues(final String adminPWD,final String jdbcPWD){
  if (!active || teiidServer == null || form.isDisposed())   return;
  if (hostNameLabel.isDisposed())   return;
  hostNameLabel.setText(teiidServer.getHost());
  String versionValue=teiidServer.getServerVersion().toString();
  if (!versionValueCombo.getText().equals(versionValue)) {
    versionValueCombo.setText(versionValue);
  }
  versionValueCombo.setEnabled(!teiidServer.isConnected());
  jbServerNameLabel.setText(parentServer != null ? parentServer.getName() : "String_Node_Str");
  ITeiidAdminInfo teiidAdminInfo=teiidServer.getTeiidAdminInfo();
  ITeiidJdbcInfo teiidJdbcInfo=teiidServer.getTeiidJdbcInfo();
  if (isSevenServer()) {
    if (adminUserNameText != null) {
      setIfDifferent(adminUserNameText,teiidAdminInfo.getUsername() != null ? teiidAdminInfo.getUsername() : EMPTY_STRING);
    }
    if (adminPasswdText != null) {
      setIfDifferent(adminPasswdText,adminPWD != null ? adminPWD : EMPTY_STRING);
    }
    String portValue=teiidAdminInfo.getPort() != null ? teiidAdminInfo.getPort() : EMPTY_STRING;
    if (adminPort instanceof Text) {
      setIfDifferent((Text)adminPort,portValue);
    }
 else     if (adminPort instanceof Label) {
      ((Label)adminPort).setText(portValue);
    }
    if (adminSSLCheckbox != null) {
      adminSSLCheckbox.setSelection(teiidAdminInfo.isSecure());
    }
  }
 else {
    String portValue=teiidAdminInfo.getPort() != null ? teiidAdminInfo.getPort() : EMPTY_STRING;
    if (adminPort instanceof Text) {
      setIfDifferent((Text)adminPort,portValue);
    }
 else     if (adminPort instanceof Label) {
      ((Label)adminPort).setText(portValue);
    }
  }
  setIfDifferent(jdbcUserNameText,teiidJdbcInfo.getUsername() != null ? teiidJdbcInfo.getUsername() : EMPTY_STRING);
  setIfDifferent(jdbcPasswdText,jdbcPWD != null ? jdbcPWD : EMPTY_STRING);
  if (isSevenServer()) {
    String portValue=teiidJdbcInfo.getPort() != null ? teiidJdbcInfo.getPort() : EMPTY_STRING;
    if (jdbcPort instanceof Text) {
      setIfDifferent((Text)jdbcPort,portValue);
    }
  }
 else {
    String portValue=NOT_CONNECTED;
    if (teiidServer.isConnected()) {
      portValue=getServerManager().getJdbcPort(teiidServer,false);
      if (portValue == null) {
        portValue=NOT_CONNECTED;
      }
      ((Label)jdbcPort).setText(portValue);
    }
    portValue=getServerManager().getJdbcPort(teiidServer,true);
    if (portValue != null) {
      setIfDifferent(jdbcPortOverride,portValue);
    }
  }
  jdbcSSLCheckbox.setSelection(teiidJdbcInfo.isSecure());
}

Fixed version (ground truth):
private void refreshDisplayValues(final String adminPWD,final String jdbcPWD){
  if (!active || teiidServer == null || form.isDisposed())   return;
  if (hostNameLabel == null || hostNameLabel.isDisposed())   return;
  hostNameLabel.setText(teiidServer.getHost());
  String versionValue=teiidServer.getServerVersion().toString();
  if (!versionValueCombo.getText().equals(versionValue)) {
    versionValueCombo.setText(versionValue);
  }
  versionValueCombo.setEnabled(!teiidServer.isConnected());
  jbServerNameLabel.setText(parentServer != null ? parentServer.getName() : "String_Node_Str");
  ITeiidAdminInfo teiidAdminInfo=teiidServer.getTeiidAdminInfo();
  ITeiidJdbcInfo teiidJdbcInfo=teiidServer.getTeiidJdbcInfo();
  if (isSevenServer()) {
    if (adminUserNameText != null) {
      setIfDifferent(adminUserNameText,teiidAdminInfo.getUsername() != null ? teiidAdminInfo.getUsername() : EMPTY_STRING);
    }
    if (adminPasswdText != null) {
      setIfDifferent(adminPasswdText,adminPWD != null ? adminPWD : EMPTY_STRING);
    }
    String portValue=teiidAdminInfo.getPort() != null ? teiidAdminInfo.getPort() : EMPTY_STRING;
    if (adminPort instanceof Text) {
      setIfDifferent((Text)adminPort,portValue);
    }
 else     if (adminPort instanceof Label) {
      ((Label)adminPort).setText(portValue);
    }
    if (adminSSLCheckbox != null) {
      adminSSLCheckbox.setSelection(teiidAdminInfo.isSecure());
    }
  }
 else {
    String portValue=teiidAdminInfo.getPort() != null ? teiidAdminInfo.getPort() : EMPTY_STRING;
    if (adminPort instanceof Text) {
      setIfDifferent((Text)adminPort,portValue);
    }
 else     if (adminPort instanceof Label) {
      ((Label)adminPort).setText(portValue);
    }
  }
  setIfDifferent(jdbcUserNameText,teiidJdbcInfo.getUsername() != null ? teiidJdbcInfo.getUsername() : EMPTY_STRING);
  setIfDifferent(jdbcPasswdText,jdbcPWD != null ? jdbcPWD : EMPTY_STRING);
  if (isSevenServer()) {
    String portValue=teiidJdbcInfo.getPort() != null ? teiidJdbcInfo.getPort() : EMPTY_STRING;
    if (jdbcPort instanceof Text) {
      setIfDifferent((Text)jdbcPort,portValue);
    }
  }
 else {
    String portValue=NOT_CONNECTED;
    if (teiidServer.isConnected()) {
      portValue=getServerManager().getJdbcPort(teiidServer,false);
      if (portValue == null) {
        portValue=NOT_CONNECTED;
      }
      ((Label)jdbcPort).setText(portValue);
    }
    portValue=getServerManager().getJdbcPort(teiidServer,true);
    if (portValue != null) {
      setIfDifferent(jdbcPortOverride,portValue);
    }
  }
  jdbcSSLCheckbox.setSelection(teiidJdbcInfo.isSecure());
}