Program: 24340
Project: 24340
Buggy source:
private void show_edit_dialog(int position){
  poser=position;
  final LayoutInflater inflater=LayoutInflater.from(activity_context);
  final View edit_rss_dialog=inflater.inflate(R.layout.add_rss_dialog,null);
  final List<List<String>> content=read_csv_to_list(new String[]{storage + "String_Node_Str" + all_string+ "String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"});
  final String current_title=content.get(0).get(position);
  final String current_url=content.get(1).get(position);
  final String current_group=content.get(2).get(position);
  int current_spinner_position=0;
  final Spinner group_spinner=(Spinner)edit_rss_dialog.findViewById(R.id.group_spinner);
  List<String> spinner_groups=new ArrayList<String>();
  for (int i=1; i < current_groups.size(); i++) {
    spinner_groups.add(current_groups.get(i));
    if ((current_groups.get(i)).equals(current_group))     current_spinner_position=i - 1;
  }
  final ArrayAdapter<String> adapter=new ArrayAdapter<String>(activity_context,R.layout.group_spinner_text,spinner_groups);
  adapter.setDropDownViewResource(android.R.layout.simple_spinner_dropdown_item);
  group_spinner.setAdapter(adapter);
  ((EditText)edit_rss_dialog.findViewById(R.id.name_edit)).setText(current_title);
  ((EditText)edit_rss_dialog.findViewById(R.id.URL_edit)).setText(current_url);
  group_spinner.setSelection(current_spinner_position);
  final AlertDialog edit_dialog=new AlertDialog.Builder(activity_context,2).setTitle(getString(R.string.edit_dialog_title)).setView(edit_rss_dialog).setCancelable(true).setPositiveButton(getString(R.string.accept_dialog),new DialogInterface.OnClickListener(){
    @Override public void onClick(    DialogInterface dialog,    int id){
    }
  }
).setNegativeButton(getString(R.string.cancel_dialog),new DialogInterface.OnClickListener(){
    @Override public void onClick(    DialogInterface dialog,    int id){
    }
  }
).create();
  edit_dialog.setOnShowListener(new DialogInterface.OnShowListener(){
    @Override public void onShow(    DialogInterface dialog){
      Button b=edit_dialog.getButton(AlertDialog.BUTTON_POSITIVE);
      b.setOnClickListener(new View.OnClickListener(){
        @Override public void onClick(        View view){
          String new_group=((EditText)edit_rss_dialog.findViewById(R.id.group_edit)).getText().toString().trim().toLowerCase();
          String URL_check=((EditText)edit_rss_dialog.findViewById(R.id.URL_edit)).getText().toString().trim();
          String feed_name=((EditText)edit_rss_dialog.findViewById(R.id.name_edit)).getText().toString().trim();
          String spinner_group=((Spinner)edit_rss_dialog.findViewById(R.id.group_spinner)).getSelectedItem().toString();
          process_user_feed(edit_dialog,new_group,URL_check,feed_name,spinner_group,"String_Node_Str");
        }
      }
);
    }
  }
);
  edit_dialog.show();
}

Fixed version (ground truth):
private static void show_edit_dialog(int position){
  poser=position;
  final LayoutInflater inflater=LayoutInflater.from(activity_context);
  final View edit_rss_dialog=inflater.inflate(R.layout.add_rss_dialog,null);
  final List<List<String>> content=read_csv_to_list(new String[]{storage + "String_Node_Str" + all_string+ "String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str"});
  final String current_title=content.get(0).get(position);
  final String current_url=content.get(1).get(position);
  final String current_group=content.get(2).get(position);
  int current_spinner_position=0;
  final Spinner group_spinner=(Spinner)edit_rss_dialog.findViewById(R.id.group_spinner);
  List<String> spinner_groups=new ArrayList<String>();
  for (int i=1; i < current_groups.size(); i++) {
    spinner_groups.add(current_groups.get(i));
    if ((current_groups.get(i)).equals(current_group))     current_spinner_position=i - 1;
  }
  final ArrayAdapter<String> adapter=new ArrayAdapter<String>(activity_context,R.layout.group_spinner_text,spinner_groups);
  adapter.setDropDownViewResource(android.R.layout.simple_spinner_dropdown_item);
  group_spinner.setAdapter(adapter);
  ((EditText)edit_rss_dialog.findViewById(R.id.name_edit)).setText(current_title);
  ((EditText)edit_rss_dialog.findViewById(R.id.URL_edit)).setText(current_url);
  group_spinner.setSelection(current_spinner_position);
  final AlertDialog edit_dialog=new AlertDialog.Builder(activity_context,2).setTitle(activity_context.getString(R.string.edit_dialog_title)).setView(edit_rss_dialog).setCancelable(true).setPositiveButton(activity_context.getString(R.string.accept_dialog),new DialogInterface.OnClickListener(){
    @Override public void onClick(    DialogInterface dialog,    int id){
    }
  }
).setNegativeButton(activity_context.getString(R.string.cancel_dialog),new DialogInterface.OnClickListener(){
    @Override public void onClick(    DialogInterface dialog,    int id){
    }
  }
).create();
  edit_dialog.setOnShowListener(new DialogInterface.OnShowListener(){
    @Override public void onShow(    DialogInterface dialog){
      Button b=edit_dialog.getButton(AlertDialog.BUTTON_POSITIVE);
      b.setOnClickListener(new View.OnClickListener(){
        @Override public void onClick(        View view){
          String new_group=((EditText)edit_rss_dialog.findViewById(R.id.group_edit)).getText().toString().trim().toLowerCase();
          String URL_check=((EditText)edit_rss_dialog.findViewById(R.id.URL_edit)).getText().toString().trim();
          String feed_name=((EditText)edit_rss_dialog.findViewById(R.id.name_edit)).getText().toString().trim();
          String spinner_group=((Spinner)edit_rss_dialog.findViewById(R.id.group_spinner)).getSelectedItem().toString();
          process_user_feed(edit_dialog,new_group,URL_check,feed_name,spinner_group,"String_Node_Str");
        }
      }
);
    }
  }
);
  edit_dialog.show();
}