Program: 11190
Project: 11190
Buggy source:
private void enableFields(){
  boolean standard=fileOpen && !running;
  boolean mapnik=mapnikRadio.isSelected();
  byteRadio.setEnabled(standard);
  elevationRadio.setEnabled(standard && !mapnik);
  imageRadio.setEnabled(standard);
  int16Radio.setEnabled(standard);
  int32Radio.setEnabled(standard);
  jpegRadio.setEnabled(standard);
  lztsField.setEnabled(standard);
  outsideCheck.setEnabled(standard && !mapnik);
  overviewsCheck.setEnabled(standard);
  overrideLevelsCheck.setEnabled(standard && !mapnik);
  pngRadio.setEnabled(standard);
  tilesizeField.setEnabled(standard);
  for (  JComponent label : labels) {
    label.setEnabled(standard);
  }
  tileTypeLabel.setEnabled(standard);
  imageFormatLabel.setEnabled(standard);
  cellTypeLabel.setEnabled(standard);
  bandLabel.setEnabled(standard);
  levelsLabel.setEnabled(standard && mapnik);
  levelsSpinner.setEnabled(standard && mapnik);
  minLatitudeField.setEnabled(standard);
  maxLatitudeField.setEnabled(standard);
  minLongitudeField.setEnabled(standard);
  maxLongitudeField.setEnabled(standard);
  alphaCheck.setEnabled(pngRadio.isSelected() && standard && bandCount == 3 && !mapnik && !elevationRadio.isSelected());
  bandCombo.setEnabled(bandCount > 1 && standard);
  overrideLevelsSpinner.setEnabled(overrideLevelsCheck.isSelected() && standard);
  for (  JIntegerField field : outsideFields) {
    field.setEnabled(outsideCheck.isSelected() && standard);
  }
  replaceCheck.setEnabled(standard && !mapnik);
  replace1Label.setEnabled(replaceCheck.isSelected() && standard);
  replace2Label.setEnabled(replaceCheck.isSelected() && standard);
  replace3Label.setEnabled(replaceCheck.isSelected() && standard);
  replace4Label.setEnabled(replaceCheck.isSelected() && standard);
  for (  JIntegerField field : minFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  for (  JIntegerField field : maxFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  for (  JIntegerField field : replaceFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  for (  JIntegerField field : otherwiseFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  gdalRadio.setEnabled(!running);
  mapnikRadio.setEnabled(!running);
  browseGdalButton.setEnabled(!running);
  browseMapnikButton.setEnabled(!running);
  browseMapnikScriptButton.setEnabled(!running);
  browsePythonBinaryButton.setEnabled(!running);
  outputButton.setEnabled(!running);
  outputDirectory.setEnabled(!running);
  tileButton.setEnabled(validOptions && outputDirectory.getText().length() != 0 && !running);
  cancelButton.setEnabled(running);
  progress.setEnabled(running);
  visibledFields();
}

Fixed version (ground truth):
private void enableFields(){
  boolean standard=fileOpen && !running;
  boolean mapnik=mapnikRadio.isSelected();
  byteRadio.setEnabled(standard);
  elevationRadio.setEnabled(standard && !mapnik);
  imageRadio.setEnabled(standard);
  int16Radio.setEnabled(standard);
  int32Radio.setEnabled(standard);
  float32Radio.setEnabled(standard);
  jpegRadio.setEnabled(standard);
  lztsField.setEnabled(standard);
  outsideCheck.setEnabled(standard && !mapnik);
  overviewsCheck.setEnabled(standard);
  overrideLevelsCheck.setEnabled(standard && !mapnik);
  pngRadio.setEnabled(standard);
  tilesizeField.setEnabled(standard);
  for (  JComponent label : labels) {
    label.setEnabled(standard);
  }
  tileTypeLabel.setEnabled(standard);
  imageFormatLabel.setEnabled(standard);
  cellTypeLabel.setEnabled(standard);
  bandLabel.setEnabled(standard);
  levelsLabel.setEnabled(standard && mapnik);
  levelsSpinner.setEnabled(standard && mapnik);
  minLatitudeField.setEnabled(standard);
  maxLatitudeField.setEnabled(standard);
  minLongitudeField.setEnabled(standard);
  maxLongitudeField.setEnabled(standard);
  alphaCheck.setEnabled(pngRadio.isSelected() && standard && bandCount == 3 && !mapnik && !elevationRadio.isSelected());
  bandCombo.setEnabled(bandCount > 1 && standard);
  overrideLevelsSpinner.setEnabled(overrideLevelsCheck.isSelected() && standard);
  for (  JTextField field : outsideFields) {
    field.setEnabled(outsideCheck.isSelected() && standard);
  }
  if (!elevationRadio.isSelected()) {
    outsideCheck.setText("String_Node_Str");
  }
 else {
    outsideCheck.setText("String_Node_Str");
  }
  replaceCheck.setEnabled(standard && !mapnik);
  replace1Label.setEnabled(replaceCheck.isSelected() && standard);
  replace2Label.setEnabled(replaceCheck.isSelected() && standard);
  replace3Label.setEnabled(replaceCheck.isSelected() && standard);
  replace4Label.setEnabled(replaceCheck.isSelected() && standard);
  for (  JTextField field : minFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  for (  JTextField field : maxFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  for (  JTextField field : replaceFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  for (  JTextField field : otherwiseFields) {
    field.setEnabled(replaceCheck.isSelected() && standard);
  }
  gdalRadio.setEnabled(!running);
  mapnikRadio.setEnabled(!running);
  browseGdalButton.setEnabled(!running);
  browseMapnikButton.setEnabled(!running);
  browseMapnikScriptButton.setEnabled(!running);
  browsePythonBinaryButton.setEnabled(!running);
  outputButton.setEnabled(!running);
  outputDirectory.setEnabled(!running);
  tileButton.setEnabled(validOptions && outputDirectory.getText().length() != 0 && !running);
  cancelButton.setEnabled(running);
  progress.setEnabled(running);
  visibledFields();
}