/**
  * Converts the given diagnostics to strings (as they would appear in a source file individually)
  */
 public static List<String> diagnosticsToString(List<TestDiagnostic> diagnostics) {
   final List<String> strings = new ArrayList<String>(diagnostics.size());
   for (TestDiagnostic diagnostic : diagnostics) {
     strings.add(diagnostic.toString());
   }
   return strings;
 }
  /** Convert a line in a DiagnosticFile to a TestDiagnosticLine */
  public static TestDiagnosticLine fromDiagnosticFileLine(String diagnosticLine) {
    final String trimmedLine = diagnosticLine.trim();
    if (trimmedLine.startsWith("#") || trimmedLine.isEmpty()) {
      return new TestDiagnosticLine(-1, diagnosticLine, EMPTY);
    }

    TestDiagnostic diagnostic = fromDiagnosticFileString(diagnosticLine);
    return new TestDiagnosticLine(
        diagnostic.getLineNumber(), diagnosticLine, Arrays.asList(diagnostic));
  }