Revert to use of org.eclipse.debug.internal.ui.DebugUIPlugin