try (InputStream res = rm.openRawResource(res_id)) {
debug("db", "Applying " + rev_file);
InputStreamReader isr = new InputStreamReader(res);
BufferedReader reader = new BufferedReader(isr);
try (InputStream res = rm.openRawResource(res_id)) {
debug("db", "Applying " + rev_file);
InputStreamReader isr = new InputStreamReader(res);
BufferedReader reader = new BufferedReader(isr);