* returns failure_count+error_count otherwise.
*/
public static void main(String[] args) throws IOException {
Verifier verifier = new Verifier(args);
if (verifier.frameworkContext.isUsingGui()) {
MainFrame mf = new MainFrame(
verifier.frameworkContext.getJarFileName(), true, verifier);
mf.setSize(800, 600);
mf.setVisible(true);
} else {
LocalStringManagerImpl smh = StringManagerHelper.getLocalStringsManager();
try {
verifier.verify();
} catch (Exception e) {