} catch (Finished e) { if (reporter.isQuiet()) System.out.println(reporter.reportJson()); if(!options.has("no-exit")) { System.exit(e.getStatus());
} catch (Finished e) { if (reporter.isQuiet()) System.out.println(reporter.reportJson()); if(!options.has("no-exit")) { System.exit(e.getStatus());