80818283848586878889
delegate.launch(selection, CoverageTools.LAUNCH_MODE); } } public void launch(IEditorPart editor, String mode) { ILaunchShortcut delegate = getDelegate(); if (delegate != null) { delegate.launch(editor, CoverageTools.LAUNCH_MODE); } }