throw new IOException();
}
}
private static void convertTrevniToJsonFile(String schema, String trevni, String json) throws IOException {
Tool tool = new TrevniToJsonTool();
List<String> args = new ArrayList<String>();
args.add(trevni);
try {
PrintStream out = new PrintStream(json);
tool.run(System.in, out, System.err, args);
} catch (Exception e) {
LOG.info("Could not generate json file: " + json, e);
throw new IOException();
}
}