Program: 187840
Project: 187840
Buggy source:
@Override public void onCreate(Bundle icicle){
  super.onCreate(icicle);
  if (debug)   Log.d(TAG,"String_Node_Str");
  firstTime=icicle != null ? icicle.getBoolean(Restore.KEY_FIRST_TIME) : false;
  if (firstTime == false) {
    Bundle extras=getIntent().getExtras();
    firstTime=extras != null ? extras.getBoolean(Restore.KEY_FIRST_TIME) : false;
  }
  if ((!firstTime) && (!CategoryList.isSignedIn())) {
    Intent frontdoor=new Intent(this,FrontDoor.class);
    startActivity(frontdoor);
    finish();
  }
  setContentView(R.layout.restore);
  String title=getResources().getString(R.string.app_name) + "String_Node_Str" + getResources().getString(R.string.restore);
  setTitle(title);
  if (filename == null) {
    filename=CategoryList.BACKUP_FILENAME;
  }
  TextView filenameText;
  filenameText=(TextView)findViewById(R.id.restore_filename);
  filenameText.setText(filename);
  TextView restoreInfoText;
  restoreInfoText=(TextView)findViewById(R.id.restore_info);
  EditText passwordText;
  passwordText=(EditText)findViewById(R.id.restore_password);
  Button restoreButton;
  restoreButton=(Button)findViewById(R.id.restore_button);
  if (!backupFileExists(filename)) {
    passwordText.setVisibility(0);
    restoreButton.setVisibility(0);
    restoreInfoText.setText(R.string.restore_no_file);
    return;
  }
  restoreInfoText.setText(R.string.restore_set_password);
  passwordText.setVisibility(1);
  restoreButton.setVisibility(1);
  restoreButton.setOnClickListener(new View.OnClickListener(){
    public void onClick(    View arg0){
      EditText passwordText;
      passwordText=(EditText)findViewById(R.id.restore_password);
      String masterPassword=passwordText.getText().toString();
      read(filename,masterPassword);
    }
  }
);
}

Fixed version (ground truth):
@Override public void onCreate(Bundle icicle){
  super.onCreate(icicle);
  if (debug)   Log.d(TAG,"String_Node_Str");
  firstTime=icicle != null ? icicle.getBoolean(Restore.KEY_FIRST_TIME) : false;
  if (firstTime == false) {
    Bundle extras=getIntent().getExtras();
    firstTime=extras != null ? extras.getBoolean(Restore.KEY_FIRST_TIME) : false;
  }
  if ((!firstTime) && (CategoryList.isSignedIn() == false)) {
    Intent frontdoor=new Intent(this,FrontDoor.class);
    startActivity(frontdoor);
    finish();
    return;
  }
  setContentView(R.layout.restore);
  String title=getResources().getString(R.string.app_name) + "String_Node_Str" + getResources().getString(R.string.restore);
  setTitle(title);
  if (filename == null) {
    filename=CategoryList.BACKUP_FILENAME;
  }
  TextView filenameText;
  filenameText=(TextView)findViewById(R.id.restore_filename);
  filenameText.setText(filename);
  TextView restoreInfoText;
  restoreInfoText=(TextView)findViewById(R.id.restore_info);
  EditText passwordText;
  passwordText=(EditText)findViewById(R.id.restore_password);
  Button restoreButton;
  restoreButton=(Button)findViewById(R.id.restore_button);
  if (!backupFileExists(filename)) {
    passwordText.setVisibility(0);
    restoreButton.setVisibility(0);
    restoreInfoText.setText(R.string.restore_no_file);
    return;
  }
  restoreInfoText.setText(R.string.restore_set_password);
  passwordText.setVisibility(1);
  restoreButton.setVisibility(1);
  restoreButton.setOnClickListener(new View.OnClickListener(){
    public void onClick(    View arg0){
      EditText passwordText;
      passwordText=(EditText)findViewById(R.id.restore_password);
      String masterPassword=passwordText.getText().toString();
      read(filename,masterPassword);
    }
  }
);
}