Program: 26176
Project: 26176
Buggy source:
public boolean onOptionsItemSelected(MenuItem item){
switch (item.getItemId()) {
case R.id.show_prev:
    if (0 == pageid) {
      foxtip("String_Node_Str");
      break;
    }
  Map<String,String> pp;
pp=oDB.getOneRow("String_Node_Str" + pageid + "String_Node_Str"+ bookid+ "String_Node_Str");
if (null == pp.get("String_Node_Str")) {
pp=oDB.getOneRow("String_Node_Str" + bookid + "String_Node_Str");
if (null == pp.get("String_Node_Str")) {
  foxtip("String_Node_Str");
  break;
}
}
pageid=Integer.valueOf(pp.get("String_Node_Str"));
bookid=Integer.valueOf(pp.get("String_Node_Str"));
setTitle(pageid + "String_Node_Str" + pp.get("String_Node_Str")+ "String_Node_Str"+ pp.get("String_Node_Str"));
pagetext=pp.get("String_Node_Str");
tv.setText("String_Node_Str" + pagetext.replace("String_Node_Str","String_Node_Str") + "String_Node_Str"+ pagename);
sv.scrollTo(0,0);
break;
case R.id.show_next:
if (0 == pageid) {
foxtip("String_Node_Str");
break;
}
Map<String,String> nn;
nn=oDB.getOneRow("String_Node_Str" + pageid + "String_Node_Str"+ bookid+ "String_Node_Str");
if (null == nn.get("String_Node_Str")) {
nn=oDB.getOneRow("String_Node_Str" + bookid + "String_Node_Str");
if (null == nn.get("String_Node_Str")) {
foxtip("String_Node_Str");
break;
}
}
pageid=Integer.valueOf(nn.get("String_Node_Str"));
bookid=Integer.valueOf(nn.get("String_Node_Str"));
setTitle(pageid + "String_Node_Str" + nn.get("String_Node_Str")+ "String_Node_Str"+ nn.get("String_Node_Str"));
pagetext=nn.get("String_Node_Str");
tv.setText("String_Node_Str" + pagetext.replace("String_Node_Str","String_Node_Str") + "String_Node_Str"+ pagename);
sv.scrollTo(0,0);
break;
case R.id.sp_set_size_up:
++sp_fontsize;
tv.setTextSize(sp_fontsize);
editor.putFloat("String_Node_Str",sp_fontsize);
editor.commit();
break;
case R.id.sp_set_size_down:
--sp_fontsize;
tv.setTextSize(sp_fontsize);
editor.putFloat("String_Node_Str",sp_fontsize);
editor.commit();
break;
}
return super.onOptionsItemSelected(item);
}

Fixed version (ground truth):
public boolean onOptionsItemSelected(MenuItem item){
switch (item.getItemId()) {
case R.id.show_prev:
    if (0 == pageid) {
      foxtip("String_Node_Str");
      break;
    }
  Map<String,String> pp;
pp=oDB.getOneRow("String_Node_Str" + pageid + "String_Node_Str"+ bookid+ "String_Node_Str");
if (null == pp.get("String_Node_Str")) {
pp=oDB.getOneRow("String_Node_Str" + bookid + "String_Node_Str");
if (null == pp.get("String_Node_Str")) {
  foxtip("String_Node_Str");
  break;
}
}
pageid=Integer.valueOf(pp.get("String_Node_Str"));
bookid=Integer.valueOf(pp.get("String_Node_Str"));
setTitle(pageid + "String_Node_Str" + pp.get("String_Node_Str")+ "String_Node_Str"+ pp.get("String_Node_Str"));
pagetext=pp.get("String_Node_Str");
tv.setText("String_Node_Str" + pagetext.replace("String_Node_Str","String_Node_Str") + "String_Node_Str"+ pp.get("String_Node_Str"));
sv.scrollTo(0,0);
break;
case R.id.show_next:
if (0 == pageid) {
foxtip("String_Node_Str");
break;
}
Map<String,String> nn;
nn=oDB.getOneRow("String_Node_Str" + pageid + "String_Node_Str"+ bookid+ "String_Node_Str");
if (null == nn.get("String_Node_Str")) {
nn=oDB.getOneRow("String_Node_Str" + bookid + "String_Node_Str");
if (null == nn.get("String_Node_Str")) {
foxtip("String_Node_Str");
break;
}
}
pageid=Integer.valueOf(nn.get("String_Node_Str"));
bookid=Integer.valueOf(nn.get("String_Node_Str"));
setTitle(pageid + "String_Node_Str" + nn.get("String_Node_Str")+ "String_Node_Str"+ nn.get("String_Node_Str"));
pagetext=nn.get("String_Node_Str");
tv.setText("String_Node_Str" + pagetext.replace("String_Node_Str","String_Node_Str") + "String_Node_Str"+ nn.get("String_Node_Str"));
sv.scrollTo(0,0);
break;
case R.id.sp_set_size_up:
++sp_fontsize;
tv.setTextSize(sp_fontsize);
editor.putFloat("String_Node_Str",sp_fontsize);
editor.commit();
break;
case R.id.sp_set_size_down:
--sp_fontsize;
tv.setTextSize(sp_fontsize);
editor.putFloat("String_Node_Str",sp_fontsize);
editor.commit();
break;
}
return super.onOptionsItemSelected(item);
}