org.eclipse.ocl.examples.validity.test.TextExportOCLValidationResultTests.testTEXTExport_LoggingMetricsWithErrorSeverity <tycho> (from org.eclipse.ocl.examples.test.AllExamplesTests)