private AnalysisReportLine[] doLines(
Collection<VerifierMessageBase> msgs) {
List<AnalysisReportLine> lines = new ArrayList<AnalysisReportLine>();
for (VerifierMessageBase m : msgs) {
AnalysisReportLine line = new AnalysisReportLine();
line.description = m.getMessage();
line.reason = m.getFaulty().toString();
Collection<?> causes = m.getCauses();
List<String> causeList = new ArrayList<String>();
for (Object c : causes) {