Program: 187746
Project: 187746
Buggy source:
private void createList(){
  if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.HONEYCOMB) {
    mShoppingListsView=(ListView)findViewById(android.R.id.list);
    ((ListView)mShoppingListsView).setOnItemSelectedListener(new OnItemSelectedListener(){
      public void onItemSelected(      AdapterView parent,      View v,      int position,      long id){
        if (debug)         Log.d(TAG,"String_Node_Str");
        getSelectedListId();
        setListTheme(loadListTheme());
        fillItems(id == mItemsView.getListId());
        applyListTheme();
        ((ListView)mShoppingListsView).setItemChecked(position,true);
      }
      public void onNothingSelected(      AdapterView arg0){
        if (debug)         Log.d(TAG,"String_Node_Str" + mIsActive);
        if (mIsActive) {
          fillItems(false);
        }
      }
    }
);
  }
 else {
    mShoppingListsView=(Spinner)findViewById(R.id.spinner_listfilter);
    ((Spinner)mShoppingListsView).setOnItemSelectedListener(new OnItemSelectedListener(){
      public void onItemSelected(      AdapterView parent,      View v,      int position,      long id){
        if (debug)         Log.d(TAG,"String_Node_Str");
        getSelectedListId();
        setListTheme(loadListTheme());
        fillItems(id == mItemsView.getListId());
        applyListTheme();
      }
      public void onNothingSelected(      AdapterView arg0){
        if (debug)         Log.d(TAG,"String_Node_Str" + mIsActive);
        if (mIsActive) {
          fillItems(false);
        }
      }
    }
);
  }
}

Fixed version (ground truth):
private void createList(){
  if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.HONEYCOMB) {
    mShoppingListsView=(ListView)findViewById(android.R.id.list);
    ((ListView)mShoppingListsView).setOnItemSelectedListener(new OnItemSelectedListener(){
      public void onItemSelected(      AdapterView parent,      View v,      int position,      long id){
        if (debug)         Log.d(TAG,"String_Node_Str");
        getSelectedListId();
        setListTheme(loadListTheme());
        fillItems(id == mItemsView.getListId());
        applyListTheme();
        updateTitle();
        ((ListView)mShoppingListsView).setItemChecked(position,true);
      }
      public void onNothingSelected(      AdapterView arg0){
        if (debug)         Log.d(TAG,"String_Node_Str" + mIsActive);
        if (mIsActive) {
          fillItems(false);
        }
      }
    }
);
  }
 else {
    mShoppingListsView=(Spinner)findViewById(R.id.spinner_listfilter);
    ((Spinner)mShoppingListsView).setOnItemSelectedListener(new OnItemSelectedListener(){
      public void onItemSelected(      AdapterView parent,      View v,      int position,      long id){
        if (debug)         Log.d(TAG,"String_Node_Str");
        getSelectedListId();
        setListTheme(loadListTheme());
        fillItems(id == mItemsView.getListId());
        updateTitle();
        applyListTheme();
      }
      public void onNothingSelected(      AdapterView arg0){
        if (debug)         Log.d(TAG,"String_Node_Str" + mIsActive);
        if (mIsActive) {
          fillItems(false);
        }
      }
    }
);
  }
}