Use OSGI tracing and debug options handling in org.eclipse.ui.workbench#4037

trancexpress wants to merge 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

trancexpress:gh4033trancexpress/eclipse.platform.ui:gh4033Copy head branch name to clipboard