Program: 38402
Project: 38402
Buggy source:
private void setDefaultValues(){
  ImageFilter.setActivityForMemoryToasts(this);
  ImageFilterRS.setRenderScriptContext(this);
  Resources res=getResources();
  ImageFilterBorder filterBorder=(ImageFilterBorder)FiltersManager.getManager().getFilter(ImageFilterBorder.class);
  filterBorder.setResources(res);
  filterBorder=(ImageFilterBorder)FiltersManager.getPreviewManager().getFilter(ImageFilterBorder.class);
  filterBorder.setResources(res);
  ImageShow.setDefaultBackgroundColor(res.getColor(R.color.background_screen));
  ImageZoom.setZoomedSize(getPixelsFromDip(256));
  FramedTextButton.setTextSize((int)getPixelsFromDip(14));
  FramedTextButton.setTrianglePadding((int)getPixelsFromDip(4));
  FramedTextButton.setTriangleSize((int)getPixelsFromDip(10));
  ImageShow.setTextSize((int)getPixelsFromDip(12));
  ImageShow.setTextPadding((int)getPixelsFromDip(10));
  ImageShow.setOriginalTextMargin((int)getPixelsFromDip(4));
  ImageShow.setOriginalTextSize((int)getPixelsFromDip(18));
  ImageShow.setOriginalText(res.getString(R.string.original_picture_text));
  mIconSeedSize=res.getDimensionPixelSize(R.dimen.thumbnail_size);
  Drawable curveHandle=res.getDrawable(R.drawable.camera_crop);
  int curveHandleSize=(int)res.getDimension(R.dimen.crop_indicator_size);
  Spline.setCurveHandle(curveHandle,curveHandleSize);
  Spline.setCurveWidth((int)getPixelsFromDip(3));
  ImageCrop.setAspectTextSize((int)getPixelsFromDip(18));
  ImageCrop.setTouchTolerance((int)getPixelsFromDip(25));
  ImageCrop.setMinCropSize((int)getPixelsFromDip(55));
}

Fixed version (ground truth):
private void setDefaultValues(){
  ImageFilter.setActivityForMemoryToasts(this);
  ImageFilterRS.setRenderScriptContext(this);
  Resources res=getResources();
  ImageFilterBorder filterBorder=(ImageFilterBorder)FiltersManager.getManager().getFilter(ImageFilterBorder.class);
  filterBorder.setResources(res);
  filterBorder=(ImageFilterBorder)FiltersManager.getPreviewManager().getFilter(ImageFilterBorder.class);
  filterBorder.setResources(res);
  ImageFilterFx filterFx=(ImageFilterFx)FiltersManager.getManager().getFilter(ImageFilterFx.class);
  filterFx.setResources(res);
  filterFx=(ImageFilterFx)FiltersManager.getPreviewManager().getFilter(ImageFilterFx.class);
  filterFx.setResources(res);
  ImageShow.setDefaultBackgroundColor(res.getColor(R.color.background_screen));
  ImageZoom.setZoomedSize(getPixelsFromDip(256));
  FramedTextButton.setTextSize((int)getPixelsFromDip(14));
  FramedTextButton.setTrianglePadding((int)getPixelsFromDip(4));
  FramedTextButton.setTriangleSize((int)getPixelsFromDip(10));
  ImageShow.setTextSize((int)getPixelsFromDip(12));
  ImageShow.setTextPadding((int)getPixelsFromDip(10));
  ImageShow.setOriginalTextMargin((int)getPixelsFromDip(4));
  ImageShow.setOriginalTextSize((int)getPixelsFromDip(18));
  ImageShow.setOriginalText(res.getString(R.string.original_picture_text));
  mIconSeedSize=res.getDimensionPixelSize(R.dimen.thumbnail_size);
  Drawable curveHandle=res.getDrawable(R.drawable.camera_crop);
  int curveHandleSize=(int)res.getDimension(R.dimen.crop_indicator_size);
  Spline.setCurveHandle(curveHandle,curveHandleSize);
  Spline.setCurveWidth((int)getPixelsFromDip(3));
  ImageCrop.setAspectTextSize((int)getPixelsFromDip(18));
  ImageCrop.setTouchTolerance((int)getPixelsFromDip(25));
  ImageCrop.setMinCropSize((int)getPixelsFromDip(55));
}