Program: 184460
Project: 184460
Buggy source:
public void onSharedPreferenceChanged(SharedPreferences preferences,String key){
  if (mPausing)   return;
  if (CameraSettings.KEY_FLASH_MODE.equals(key)) {
    mParameters.setFlashMode(preferences.getString(key,"String_Node_Str"));
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_FOCUS_MODE.equals(key)) {
    mFocusMode=preferences.getString(key,getString(R.string.pref_camera_focusmode_default));
  }
 else   if (CameraSettings.KEY_PICTURE_SIZE.equals(key)) {
    String pictureSize=preferences.getString(key,getString(R.string.pref_camera_picturesize_default));
    setCameraPictureSizeIfSupported(pictureSize);
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_JPEG_QUALITY.equals(key)) {
    String jpegQuality=preferences.getString(key,getString(R.string.pref_camera_jpegquality_default));
    mParameters.setJpegQuality(Integer.parseInt(jpegQuality));
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_RECORD_LOCATION.equals(key)) {
    mRecordLocation=preferences.getBoolean(key,false);
    if (mRecordLocation) {
      startReceivingLocationUpdates();
    }
 else {
      stopReceivingLocationUpdates();
    }
  }
 else   if (CameraSettings.KEY_COLOR_EFFECT.equals(key)) {
    String colorEffect=preferences.getString(key,getString(R.string.pref_camera_coloreffect_default));
    mParameters.setColorEffect(colorEffect);
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_WHITE_BALANCE.equals(key)) {
    String whiteBalance=preferences.getString(key,getString(R.string.pref_camera_whitebalance_default));
    mParameters.setWhiteBalance(whiteBalance);
    mCameraDevice.setParameters(mParameters);
  }
}

Fixed version (ground truth):
public void onSharedPreferenceChanged(SharedPreferences preferences,String key){
  if (mPausing)   return;
  if (CameraSettings.KEY_FLASH_MODE.equals(key)) {
    mParameters.setFlashMode(preferences.getString(key,"String_Node_Str"));
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_FOCUS_MODE.equals(key)) {
    mFocusMode=preferences.getString(key,getString(R.string.pref_camera_focusmode_default));
  }
 else   if (CameraSettings.KEY_PICTURE_SIZE.equals(key)) {
    String pictureSize=preferences.getString(key,getString(R.string.pref_camera_picturesize_default));
    setCameraPictureSizeIfSupported(pictureSize);
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_JPEG_QUALITY.equals(key)) {
    String jpegQuality=preferences.getString(key,getString(R.string.pref_camera_jpegquality_default));
    mParameters.setJpegQuality(Integer.parseInt(jpegQuality));
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_RECORD_LOCATION.equals(key)) {
    mRecordLocation=preferences.getBoolean(key,false);
    if (mRecordLocation) {
      startReceivingLocationUpdates();
    }
 else {
      stopReceivingLocationUpdates();
    }
  }
 else   if (CameraSettings.KEY_COLOR_EFFECT.equals(key)) {
    String colorEffect=preferences.getString(key,getString(R.string.pref_camera_coloreffect_default));
    mParameters.setColorEffect(colorEffect);
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_WHITE_BALANCE.equals(key)) {
    String whiteBalance=preferences.getString(key,getString(R.string.pref_camera_whitebalance_default));
    mParameters.setWhiteBalance(whiteBalance);
    mCameraDevice.setParameters(mParameters);
  }
 else   if (CameraSettings.KEY_SCENE_MODE.equals(key)) {
    String sceneMode=preferences.getString(key,getString(R.string.pref_camera_scenemode_default));
    mParameters.setSceneMode(sceneMode);
    mCameraDevice.setParameters(mParameters);
  }
}