println("Note that CMD is the command you just used to get this help text,");
println("e.g. \"java -jar jloom-1.0.0.jar\".");
return;
}
TranslationContext tc = JLoomTools.translate(args[0]);
Collection<TranslationProblem> problems = tc.getProblems();
if (problems.size() > 0) {
TextInfo info = new TextInfo(tc.getInputText());
for (TranslationProblem p : problems) {
int start = p.getStart();
int line = info.getLineNumber(start);
int col = start - info.getLineStart(line);
println("");