Main m = new Main(out, out, false, null, null);
File[] fs = recurse(new File(new File(new File(base, "src"), "org"), "cacert"), new LinkedList<File>(), ".java").toArray(new File[0]);
String[] t = new String[fs.length + 3];
Main m = new Main(out, out, false, null, null);
File[] fs = recurse(new File(new File(new File(base, "src"), "org"), "cacert"), new LinkedList<File>(), ".java").toArray(new File[0]);
String[] t = new String[fs.length + 3];
StringBuilder prob = new StringBuilder();
prob.append(parsedUnit.compilationResult.fileName);
prob.append(":");
prob.append(problem.getSourceLineNumber());
StringBuilder prob = new StringBuilder();
prob.append(parsedUnit.compilationResult.fileName);
prob.append(":");
prob.append(problem.getSourceLineNumber());
} else {
TranslationCollectingVisitor v = new TranslationCollectingVisitor(parsedUnit, taint.toArray(new TaintSource[taint.size()]), this);
} else {
TranslationCollectingVisitor v = new TranslationCollectingVisitor(parsedUnit, taint.toArray(new TaintSource[taint.size()]), this);