Reporting / org.eclipse.ease.AbstractReplScriptEngineTest.terminate() does nothing for non-launched engine