TestVersionSemanticsNOUI: Derive from JunitTracer