Simplify duplicated workspace-lock error handling in IDEApplication#4140

vogella wants to merge 1 commit into

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

vogella:simplify-ide-workspace-lock-errorvogella/eclipse.platform.ui:simplify-ide-workspace-lock-errorCopy head branch name to clipboard