//==== compute number of lines for each decoder
int n_lines = 0; {
LineReader testReader = new LineReader(testFile);
try {
n_lines = testReader.countLines();
} finally { testReader.close(); }
}
double num_per_thread_double = n_lines * 1.0 / JoshuaConfiguration.num_parallel_decoders;
int num_per_thread_int = (int) num_per_thread_double;