public DiagnosticCollector ()