
err.flush();</BUG>
System.exit(-3);
}
<BUG>if (!checkVersion(args, err)) {

err.flush();</BUG>
System.exit(-3);
}
String[] array = new String[argList.size()];

argList.addElement(arg);
}
final ArrayList listeners = new ArrayList();
final String[] name = new String[1];
boolean isJUnit4 = processParameters(argList, listeners, name);
if (!canWorkWithJUnitVersion(System.err, isJUnit4)) {
System.exit(-3);
}
if (!checkVersion(args, System.err)) {
System.exit(-3);
}
String[] array = new String[argList.size()];
