Continue #2027: make ConsoleManager final#2034

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

ruspl-afed:console_manager_finalruspl-afed/eclipse.platform:console_manager_finalCopy head branch name to clipboard