eclipse / mmt / org.eclipse.qvto / refs/tags/3.9.3M1 / . / plugins / org.eclipse.m2m.qvt.oml.tools.coverage.junit / src / org / eclipse / m2m / internal / qvt / oml / tools / coverage / junit / launching