Program: 152708
Project: 152708
Buggy source:
@Override public void onUpgrade(SQLiteDatabase db,int oldVersion,int currentVersion){
  Log.w(TAG,"String_Node_Str" + oldVersion + "String_Node_Str"+ currentVersion+ "String_Node_Str");
switch (oldVersion) {
case 40:
    if (currentVersion <= 40) {
      return;
    }
  db.beginTransaction();
try {
  upgradeDatabaseToVersion41(db);
  db.setTransactionSuccessful();
}
 catch (Throwable ex) {
  Log.e(TAG,ex.getMessage(),ex);
  break;
}
 finally {
  db.endTransaction();
}
case 41:
if (currentVersion <= 41) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion42(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 42:
if (currentVersion <= 42) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion43(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 43:
if (currentVersion <= 43) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion44(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 44:
if (currentVersion <= 44) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion45(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 45:
if (currentVersion <= 45) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion46(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 46:
if (currentVersion <= 46) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion47(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 47:
if (currentVersion <= 47) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion48(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 48:
if (currentVersion <= 48) {
return;
}
db.beginTransaction();
try {
createWordsTables(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 49:
if (currentVersion <= 49) {
return;
}
db.beginTransaction();
try {
createThreadIdIndex(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 50:
if (currentVersion <= 50) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion51(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 51:
if (currentVersion <= 51) {
return;
}
case 52:
if (currentVersion <= 52) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion53(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 53:
if (currentVersion <= 53) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion54(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
return;
}
Log.e(TAG,"String_Node_Str");
dropAll(db);
onCreate(db);
}

Fixed version (ground truth):
@Override public void onUpgrade(SQLiteDatabase db,int oldVersion,int currentVersion){
  Log.w(TAG,"String_Node_Str" + oldVersion + "String_Node_Str"+ currentVersion+ "String_Node_Str");
switch (oldVersion) {
case 40:
    if (currentVersion <= 40) {
      return;
    }
  db.beginTransaction();
try {
  upgradeDatabaseToVersion41(db);
  db.setTransactionSuccessful();
}
 catch (Throwable ex) {
  Log.e(TAG,ex.getMessage(),ex);
  break;
}
 finally {
  db.endTransaction();
}
case 41:
if (currentVersion <= 41) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion42(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 42:
if (currentVersion <= 42) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion43(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 43:
if (currentVersion <= 43) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion44(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 44:
if (currentVersion <= 44) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion45(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 45:
if (currentVersion <= 45) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion46(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 46:
if (currentVersion <= 46) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion47(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 47:
if (currentVersion <= 47) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion48(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 48:
if (currentVersion <= 48) {
return;
}
db.beginTransaction();
try {
createWordsTables(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 49:
if (currentVersion <= 49) {
return;
}
db.beginTransaction();
try {
createThreadIdIndex(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 50:
if (currentVersion <= 50) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion51(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 51:
if (currentVersion <= 51) {
return;
}
case 52:
if (currentVersion <= 52) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion53(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 53:
if (currentVersion <= 53) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion54(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
case 54:
if (currentVersion <= 54) {
return;
}
db.beginTransaction();
try {
upgradeDatabaseToVersion55(db);
db.setTransactionSuccessful();
}
 catch (Throwable ex) {
Log.e(TAG,ex.getMessage(),ex);
break;
}
 finally {
db.endTransaction();
}
return;
}
Log.e(TAG,"String_Node_Str");
dropAll(db);
onCreate(db);
}