xml.close();
sub.close();
}
private void updateTimes(final String[] args) throws IOException {
final BufferedReader[] bf = new BufferedReader[args.length];
<BUG>for(int j = 0; j < bf.length; j++)
</BUG>
bf[j] = new BufferedReader(new FileReader(args[j]));
final int numdb = 10;
final double[] qut = new double[nqueries * numdb];

xml.close();
sub.close();
}
private void updateTimes(final String[] args) throws IOException {
final BufferedReader[] bf = new BufferedReader[args.length];
for(int j = 0; j < bf.length; ++j)
bf[j] = new BufferedReader(new FileReader(args[j]));
final int numdb = 10;
final double[] qut = new double[nqueries * numdb];
