Program: 49807
Project: 49807
Buggy source:
@Override @SuppressLint("String_Node_Str") protected void onCreate(Bundle savedInstanceState){
  if (Build.MODEL.equals("String_Node_Str")) {
    setTheme(android.R.style.Theme_Light_NoTitleBar);
  }
  super.onCreate(savedInstanceState);
  setContentView(R.layout.chapter);
  findViewById(R.id.book).setOnClickListener(this);
  findViewById(R.id.chapter).setOnClickListener(this);
  findViewById(R.id.search).setOnClickListener(this);
  findViewById(R.id.version).setOnClickListener(this);
  findViewById(R.id.share).setOnClickListener(this);
  findViewById(R.id.items).setOnClickListener(this);
  adapter=new ArrayAdapter<String>(this,R.layout.grid){
    private LayoutInflater inflater=(LayoutInflater)getSystemService(Context.LAYOUT_INFLATER_SERVICE);
    @Override public View getView(    int position,    View convertView,    ViewGroup parent){
      View view=convertView;
      ToggleButton grid=null;
      if (view == null) {
        view=inflater.inflate(R.layout.grid,null);
      }
      grid=(ToggleButton)view.findViewById(R.id.text1);
      grid.setTextOn(getItem(position));
      grid.setTextOff(getItem(position));
      grid.setChecked(getItem(position).equals(selected));
      grid.setVisibility(getItem(position).equals("String_Node_Str") ? View.INVISIBLE : View.VISIBLE);
      return view;
    }
  }
;
  gridview=(GridView)findViewById(R.id.gridview);
  gridview.setAdapter(adapter);
  gridview.setVisibility(View.GONE);
  gridview.setOnItemClickListener(this);
  setGestureDetector();
  webview=(WebView)findViewById(R.id.webview);
  webview.getSettings().setJavaScriptEnabled(true);
  webview.getSettings().setSupportZoom(true);
  webview.getSettings().setBuiltInZoomControls(true);
  webview.getSettings().setCacheMode(WebSettings.LOAD_NO_CACHE);
  webview.addJavascriptInterface(new Object(){
    @SuppressWarnings("String_Node_Str") public void setVerse(    String string){
synchronized (verseLock) {
        verse=string;
        Log.d(TAG,"String_Node_Str" + verse);
        verseLock.notifyAll();
      }
    }
    @SuppressWarnings({"String_Node_Str","String_Node_Str"}) public void setCopyText(    String text){
      if (!text.equals("String_Node_Str")) {
        copytext=bible.getVersionFullname(version).replace("String_Node_Str" + getString(R.string.demo) + "String_Node_Str","String_Node_Str") + "String_Node_Str";
        copytext+=bible.get(Bible.TYPE.HUMAN,bible.getPosition(Bible.TYPE.OSIS,book)) + "String_Node_Str" + chapter+ "String_Node_Str"+ text;
        ((android.text.ClipboardManager)getSystemService(Context.CLIPBOARD_SERVICE)).setText(copytext);
        Log.d(TAG,"String_Node_Str" + copytext);
      }
 else {
        copytext="String_Node_Str";
      }
      handler.sendEmptyMessage(COPYTEXT);
    }
  }
,"String_Node_Str");
  setZoomButtonsController(webview);
  osis=PreferenceManager.getDefaultSharedPreferences(this).getString("String_Node_Str","String_Node_Str");
  verse=PreferenceManager.getDefaultSharedPreferences(this).getString("String_Node_Str","String_Node_Str");
  uri=Provider.CONTENT_URI_CHAPTER.buildUpon().appendEncodedPath(osis).fragment(version).build();
  setIntentData();
  int color=0x6633B5E5;
  Integer mHighlightColor=(Integer)Bible.getField(findViewById(R.id.version),TextView.class,"String_Node_Str");
  if (mHighlightColor != null) {
    color=mHighlightColor.intValue();
  }
  background=String.format("String_Node_Str",(color >> 16) & 0xFF,(color >> 8) & 0xFF,color & 0xFF,(color >>> 24) / 255.0);
  Log.d(TAG,"String_Node_Str");
}

Fixed version (ground truth):
@Override @SuppressLint("String_Node_Str") protected void onCreate(Bundle savedInstanceState){
  if (Build.MODEL.equals("String_Node_Str")) {
    setTheme(android.R.style.Theme_Light_NoTitleBar);
  }
  super.onCreate(savedInstanceState);
  setContentView(R.layout.chapter);
  findViewById(R.id.book).setOnClickListener(this);
  findViewById(R.id.chapter).setOnClickListener(this);
  findViewById(R.id.search).setOnClickListener(this);
  findViewById(R.id.version).setOnClickListener(this);
  findViewById(R.id.share).setOnClickListener(this);
  findViewById(R.id.items).setOnClickListener(this);
  adapter=new ArrayAdapter<String>(this,R.layout.grid){
    private LayoutInflater inflater=(LayoutInflater)getSystemService(Context.LAYOUT_INFLATER_SERVICE);
    @Override public View getView(    int position,    View convertView,    ViewGroup parent){
      View view=convertView;
      ToggleButton grid=null;
      if (view == null) {
        view=inflater.inflate(R.layout.grid,null);
      }
      grid=(ToggleButton)view.findViewById(R.id.text1);
      grid.setTextOn(getItem(position));
      grid.setTextOff(getItem(position));
      grid.setChecked(getItem(position).equals(selected));
      grid.setVisibility(getItem(position).equals("String_Node_Str") ? View.INVISIBLE : View.VISIBLE);
      return view;
    }
  }
;
  gridview=(GridView)findViewById(R.id.gridview);
  gridview.setAdapter(adapter);
  gridview.setVisibility(View.GONE);
  gridview.setOnItemClickListener(this);
  setGestureDetector();
  webview=(WebView)findViewById(R.id.webview);
  webview.getSettings().setJavaScriptEnabled(true);
  webview.getSettings().setSupportZoom(true);
  webview.getSettings().setBuiltInZoomControls(true);
  webview.getSettings().setCacheMode(WebSettings.LOAD_NO_CACHE);
  webview.addJavascriptInterface(new Object(){
    @SuppressWarnings("String_Node_Str") public void setVerse(    String string){
synchronized (verseLock) {
        verse=string;
        Log.d(TAG,"String_Node_Str" + verse);
        verseLock.notifyAll();
      }
    }
    @SuppressWarnings({"String_Node_Str","String_Node_Str"}) public void setCopyText(    String text){
      if (!text.equals("String_Node_Str")) {
        copytext=bible.getVersionFullname(version).replace("String_Node_Str" + getString(R.string.demo) + "String_Node_Str","String_Node_Str") + "String_Node_Str";
        copytext+=bible.get(Bible.TYPE.HUMAN,bible.getPosition(Bible.TYPE.OSIS,book)) + "String_Node_Str" + chapter+ "String_Node_Str"+ text;
        ((android.text.ClipboardManager)getSystemService(Context.CLIPBOARD_SERVICE)).setText(copytext);
        Log.d(TAG,"String_Node_Str" + copytext);
      }
 else {
        copytext="String_Node_Str";
      }
      handler.sendEmptyMessage(COPYTEXT);
    }
  }
,"String_Node_Str");
  setZoomButtonsController(webview);
  osis=PreferenceManager.getDefaultSharedPreferences(this).getString("String_Node_Str","String_Node_Str");
  uri=Provider.CONTENT_URI_CHAPTER.buildUpon().appendEncodedPath(osis).fragment(version).build();
  setIntentData();
  int color=0x6633B5E5;
  Integer mHighlightColor=(Integer)Bible.getField(findViewById(R.id.version),TextView.class,"String_Node_Str");
  if (mHighlightColor != null) {
    color=mHighlightColor.intValue();
  }
  background=String.format("String_Node_Str",(color >> 16) & 0xFF,(color >> 8) & 0xFF,color & 0xFF,(color >>> 24) / 255.0);
  Log.d(TAG,"String_Node_Str");
  hasIntentData=true;
}