private void applyRevision(SQLiteDatabase db, int rev_no) {
String rev_file = String.format(Locale.US, "sql_%d", rev_no);
applyRevisionFile(db, rev_file);
}
private void applyRevision(SQLiteDatabase db, int rev_no) {
String rev_file = String.format(Locale.US, "sql_%d", rev_no);
applyRevisionFile(db, rev_file);
}