Program: 162619
Project: 162619
Buggy source:
@Override public void onActivityCreated(Bundle savedInstanceState){
  super.onActivityCreated(savedInstanceState);
  s=getArguments().getString("String_Node_Str");
  f=new File(s);
  listView.setVisibility(View.VISIBLE);
  Sp=PreferenceManager.getDefaultSharedPreferences(getActivity());
  uimode=Integer.parseInt(Sp.getString("String_Node_Str","String_Node_Str"));
  if (uimode == 1) {
    float scale=getResources().getDisplayMetrics().density;
    int dpAsPixels=(int)(5 * scale + 0.5f);
    listView.setPadding(dpAsPixels,0,dpAsPixels,0);
    listView.addItemDecoration(new SpacesItemDecoration(dpAsPixels));
  }
  listView.setVisibility(View.VISIBLE);
  mLayoutManager=new LinearLayoutManager(getActivity());
  listView.setLayoutManager(mLayoutManager);
  if (mainActivity.theme1 == 1)   rootView.setBackgroundColor(getResources().getColor(R.color.holo_dark_background));
 else   if (uimode == 0) {
    listView.setBackgroundColor(getResources().getColor(android.R.color.background_light));
  }
  gobackitem=Sp.getBoolean("String_Node_Str",true);
  coloriseIcons=Sp.getBoolean("String_Node_Str",false);
  Calendar calendar=Calendar.getInstance();
  showSize=Sp.getBoolean("String_Node_Str",false);
  showLastModified=Sp.getBoolean("String_Node_Str",true);
  year=("String_Node_Str" + calendar.get(Calendar.YEAR)).substring(2,4);
  skin=Sp.getString("String_Node_Str","String_Node_Str");
  String x=getSelectionColor();
  skinselection=Color.parseColor(x);
  files=new ArrayList<File>();
  loadlist(f.getPath());
  mToolbarContainer=getActivity().findViewById(R.id.lin);
  hidemode=Sp.getInt("String_Node_Str",0);
  paddingTop=(mToolbarHeight=getToolbarHeight(getActivity())) + dpToPx(72);
  try {
    mainActivity.toolbar.setTitle(f.getName());
  }
 catch (  Exception e) {
    mainActivity.toolbar.setTitle(getResources().getString(R.string.zip_viewer));
  }
  mainActivity.tabsSpinner.setVisibility(View.GONE);
  mainActivity.supportInvalidateOptionsMenu();
}

Fixed version (ground truth):
@Override public void onActivityCreated(Bundle savedInstanceState){
  super.onActivityCreated(savedInstanceState);
  s=getArguments().getString("String_Node_Str");
  f=new File(s);
  listView.setVisibility(View.VISIBLE);
  Sp=PreferenceManager.getDefaultSharedPreferences(getActivity());
  listView.setVisibility(View.VISIBLE);
  mLayoutManager=new LinearLayoutManager(getActivity());
  listView.setLayoutManager(mLayoutManager);
  if (mainActivity.theme1 == 1)   rootView.setBackgroundColor(getResources().getColor(R.color.holo_dark_background));
 else   listView.setBackgroundColor(getResources().getColor(android.R.color.background_light));
  gobackitem=Sp.getBoolean("String_Node_Str",true);
  coloriseIcons=Sp.getBoolean("String_Node_Str",false);
  Calendar calendar=Calendar.getInstance();
  showSize=Sp.getBoolean("String_Node_Str",false);
  showLastModified=Sp.getBoolean("String_Node_Str",true);
  year=("String_Node_Str" + calendar.get(Calendar.YEAR)).substring(2,4);
  skin=Sp.getString("String_Node_Str","String_Node_Str");
  String x=getSelectionColor();
  skinselection=Color.parseColor(x);
  files=new ArrayList<File>();
  loadlist(f.getPath());
  mToolbarContainer=getActivity().findViewById(R.id.lin);
  hidemode=Sp.getInt("String_Node_Str",0);
  paddingTop=(mToolbarHeight=getToolbarHeight(getActivity())) + dpToPx(72);
  try {
    mainActivity.toolbar.setTitle(f.getName());
  }
 catch (  Exception e) {
    mainActivity.toolbar.setTitle(getResources().getString(R.string.zip_viewer));
  }
  mainActivity.tabsSpinner.setVisibility(View.GONE);
  mainActivity.supportInvalidateOptionsMenu();
}