Program: 111509
Project: 111509
Buggy source:
private void storeOptions(){
  autoSelect.setParam(autoselectCheckbox.isSelected());
  if (tightButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingTight));
 else   if (zrleButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingZRLE));
 else   if (hextileButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingHextile));
 else   if (rawButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingRaw));
  fullColor.setParam(fullcolorButton.isSelected());
  if (verylowcolorButton.isSelected())   lowColorLevel.setParam(0);
 else   if (lowcolorButton.isSelected())   lowColorLevel.setParam(1);
 else   if (mediumcolorButton.isSelected())   lowColorLevel.setParam(2);
  customCompressLevel.setParam(compressionCheckbox.isSelected());
  noJpeg.setParam(!jpegCheckbox.isSelected());
  compressLevel.setParam((Integer)compressionInput.getSelectedItem());
  qualityLevel.setParam((Integer)jpegInput.getSelectedItem());
  Security security=new Security();
  if (encNoneCheckbox.isSelected()) {
    if (authNoneCheckbox.isSelected())     security.EnableSecType(Security.secTypeNone);
    if (authVncCheckbox.isSelected())     security.EnableSecType(Security.secTypeVncAuth);
    if (authPlainCheckbox.isSelected())     security.EnableSecType(Security.secTypePlain);
    if (authIdentCheckbox.isSelected())     security.EnableSecType(Security.secTypeIdent);
  }
  if (encTLSCheckbox.isSelected()) {
    if (authNoneCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSNone);
    if (authVncCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSVnc);
    if (authPlainCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSPlain);
    if (authIdentCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSIdent);
  }
  if (encX509Checkbox.isSelected()) {
    if (authNoneCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509None);
    if (authVncCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509Vnc);
    if (authPlainCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509Plain);
    if (authIdentCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509Ident);
  }
  if (authIdentCheckbox.isSelected() || authPlainCheckbox.isSelected()) {
    sendLocalUsername.setParam(sendLocalUsernameCheckbox.isSelected());
  }
  SecurityClient.secTypes.setParam(security.ToString());
  File caFile=new File(caInput.getText());
  if (caFile.exists() && caFile.canRead())   CSecurityTLS.X509CA.setParam(caFile.getAbsolutePath());
  File crlFile=new File(crlInput.getText());
  if (crlFile.exists() && crlFile.canRead())   CSecurityTLS.X509CRL.setParam(crlFile.getAbsolutePath());
  viewOnly.setParam(viewOnlyCheckbox.isSelected());
  acceptClipboard.setParam(acceptClipboardCheckbox.isSelected());
  sendClipboard.setParam(sendClipboardCheckbox.isSelected());
  String menuKeyStr=MenuKey.getMenuKeySymbols()[menuKeyChoice.getSelectedIndex()].name;
  menuKey.setParam(menuKeyStr);
  if (desktopSizeCheckbox.isSelected() && !desktopWidthInput.getText().isEmpty() && !desktopHeightInput.getText().isEmpty()) {
    String width=desktopWidthInput.getText();
    String height=desktopHeightInput.getText();
    desktopSize.setParam(width.concat("String_Node_Str").concat(height));
  }
 else {
    desktopSize.setParam("String_Node_Str");
  }
  remoteResize.setParam(remoteResizeButton.isSelected());
  fullScreen.setParam(fullScreenCheckbox.isSelected());
  fullScreenAllMonitors.setParam(fullScreenAllMonitorsCheckbox.isSelected());
  String scaleStr=((String)scalingFactorInput.getSelectedItem()).replace("String_Node_Str","String_Node_Str");
  scaleStr.replace("String_Node_Str","String_Node_Str");
  scalingFactor.setParam(scaleStr);
  shared.setParam(sharedCheckbox.isSelected());
  dotWhenNoCursor.setParam(dotWhenNoCursorCheckbox.isSelected());
  acceptBell.setParam(acceptBellCheckbox.isSelected());
  tunnel.setParam(tunnelCheckbox.isSelected());
  if (viaCheckbox.isSelected() && !viaUserInput.getText().isEmpty() && !viaHostInput.getText().isEmpty()&& !viaPortInput.getText().isEmpty()) {
    String sshUser=viaUserInput.getText();
    String sshHost=viaHostInput.getText();
    String sshPort=viaPortInput.getText();
    String viaStr=sshUser.concat("String_Node_Str").concat(sshHost).concat("String_Node_Str").concat(sshPort);
    via.setParam(viaStr);
  }
  extSSH.setParam(extSSHCheckbox.isSelected());
  if (!sshClientInput.getText().isEmpty())   extSSHClient.setParam(sshClientInput.getText());
  if (sshArgsDefaultButton.isSelected())   if (!sshArgsInput.getText().isEmpty())   extSSHArgs.setParam(sshArgsInput.getText());
  if (!sshConfigInput.getText().isEmpty())   sshConfig.setParam(sshConfigInput.getText());
  if (!sshKeyFileInput.getText().isEmpty())   sshKeyFile.setParam(sshKeyFileInput.getText());
  try {
    for (    Map.Entry<Object,String> iter : callbacks.entrySet()) {
      Object obj=iter.getKey();
      Method cb=obj.getClass().getMethod(iter.getValue(),new Class[]{});
      if (cb == null)       vlog.info(obj.getClass().getName());
      cb.invoke(obj);
    }
  }
 catch (  NoSuchMethodException e) {
    vlog.error("String_Node_Str" + e.getMessage());
  }
catch (  IllegalAccessException e) {
    vlog.error("String_Node_Str" + e.getMessage());
  }
catch (  InvocationTargetException e) {
    vlog.error("String_Node_Str" + e.getMessage());
  }
}

Fixed version (ground truth):
private void storeOptions(){
  autoSelect.setParam(autoselectCheckbox.isSelected());
  if (tightButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingTight));
 else   if (zrleButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingZRLE));
 else   if (hextileButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingHextile));
 else   if (rawButton.isSelected())   preferredEncoding.setParam(Encodings.encodingName(Encodings.encodingRaw));
  fullColor.setParam(fullcolorButton.isSelected());
  if (verylowcolorButton.isSelected())   lowColorLevel.setParam(0);
 else   if (lowcolorButton.isSelected())   lowColorLevel.setParam(1);
 else   if (mediumcolorButton.isSelected())   lowColorLevel.setParam(2);
  customCompressLevel.setParam(compressionCheckbox.isSelected());
  noJpeg.setParam(!jpegCheckbox.isSelected());
  compressLevel.setParam((Integer)compressionInput.getSelectedItem());
  qualityLevel.setParam((Integer)jpegInput.getSelectedItem());
  Security security=new Security();
  if (encNoneCheckbox.isSelected()) {
    if (authNoneCheckbox.isSelected())     security.EnableSecType(Security.secTypeNone);
    if (authVncCheckbox.isSelected())     security.EnableSecType(Security.secTypeVncAuth);
    if (authPlainCheckbox.isSelected())     security.EnableSecType(Security.secTypePlain);
    if (authIdentCheckbox.isSelected())     security.EnableSecType(Security.secTypeIdent);
  }
  if (encTLSCheckbox.isSelected()) {
    if (authNoneCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSNone);
    if (authVncCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSVnc);
    if (authPlainCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSPlain);
    if (authIdentCheckbox.isSelected())     security.EnableSecType(Security.secTypeTLSIdent);
  }
  if (encX509Checkbox.isSelected()) {
    if (authNoneCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509None);
    if (authVncCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509Vnc);
    if (authPlainCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509Plain);
    if (authIdentCheckbox.isSelected())     security.EnableSecType(Security.secTypeX509Ident);
  }
  if (authIdentCheckbox.isSelected() || authPlainCheckbox.isSelected()) {
    sendLocalUsername.setParam(sendLocalUsernameCheckbox.isSelected());
  }
  SecurityClient.secTypes.setParam(security.ToString());
  File caFile=new File(caInput.getText());
  if (caFile.exists() && caFile.canRead())   CSecurityTLS.X509CA.setParam(caFile.getAbsolutePath());
  File crlFile=new File(crlInput.getText());
  if (crlFile.exists() && crlFile.canRead())   CSecurityTLS.X509CRL.setParam(crlFile.getAbsolutePath());
  viewOnly.setParam(viewOnlyCheckbox.isSelected());
  acceptClipboard.setParam(acceptClipboardCheckbox.isSelected());
  sendClipboard.setParam(sendClipboardCheckbox.isSelected());
  String menuKeyStr=MenuKey.getMenuKeySymbols()[menuKeyChoice.getSelectedIndex()].name;
  menuKey.setParam(menuKeyStr);
  if (desktopSizeCheckbox.isSelected() && !desktopWidthInput.getText().isEmpty() && !desktopHeightInput.getText().isEmpty()) {
    String width=desktopWidthInput.getText();
    String height=desktopHeightInput.getText();
    desktopSize.setParam(width.concat("String_Node_Str").concat(height));
  }
 else {
    desktopSize.setParam("String_Node_Str");
  }
  remoteResize.setParam(remoteResizeButton.isSelected());
  fullScreen.setParam(fullScreenCheckbox.isSelected());
  fullScreenAllMonitors.setParam(fullScreenAllMonitorsCheckbox.isSelected());
  String scaleStr=((String)scalingFactorInput.getSelectedItem()).replace("String_Node_Str","String_Node_Str");
  scaleStr.replace("String_Node_Str","String_Node_Str");
  scalingFactor.setParam(scaleStr);
  shared.setParam(sharedCheckbox.isSelected());
  dotWhenNoCursor.setParam(dotWhenNoCursorCheckbox.isSelected());
  acceptBell.setParam(acceptBellCheckbox.isSelected());
  tunnel.setParam(tunnelCheckbox.isSelected());
  if (viaCheckbox.isSelected() && !viaUserInput.getText().isEmpty() && !viaHostInput.getText().isEmpty()&& !viaPortInput.getText().isEmpty()) {
    String sshUser=viaUserInput.getText();
    String sshHost=viaHostInput.getText();
    String sshPort=viaPortInput.getText();
    String viaStr=sshUser.concat("String_Node_Str").concat(sshHost).concat("String_Node_Str").concat(sshPort);
    via.setParam(viaStr);
  }
 else {
    via.setParam("String_Node_Str");
  }
  extSSH.setParam(extSSHCheckbox.isSelected());
  if (!sshClientInput.getText().isEmpty())   extSSHClient.setParam(sshClientInput.getText());
  if (sshArgsDefaultButton.isSelected())   if (!sshArgsInput.getText().isEmpty())   extSSHArgs.setParam(sshArgsInput.getText());
  if (!sshConfigInput.getText().isEmpty())   sshConfig.setParam(sshConfigInput.getText());
  if (!sshKeyFileInput.getText().isEmpty())   sshKeyFile.setParam(sshKeyFileInput.getText());
  try {
    for (    Map.Entry<Object,String> iter : callbacks.entrySet()) {
      Object obj=iter.getKey();
      Method cb=obj.getClass().getMethod(iter.getValue(),new Class[]{});
      if (cb == null)       vlog.info(obj.getClass().getName());
      cb.invoke(obj);
    }
  }
 catch (  NoSuchMethodException e) {
    vlog.error("String_Node_Str" + e.getMessage());
  }
catch (  IllegalAccessException e) {
    vlog.error("String_Node_Str" + e.getMessage());
  }
catch (  InvocationTargetException e) {
    vlog.error("String_Node_Str" + e.getMessage());
  }
}