Continue #2027: throw CoreException instead of returning null#2037

laeubi merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

ruspl-afed:terminalconsoleviewmanager_optionalruspl-afed/eclipse.platform:terminalconsoleviewmanager_optionalCopy head branch name to clipboard