OccurenceNavigator () { BuildTreeConsoleView eventView = getEventView(); if (eventView != null) return eventView; ExecutionConsole executionConsole = getConsoleView(); if (executionConsole instanceof OccurenceNavigator) { return (OccurenceNavigator)executionConsole; } return EMPTY_PROBLEMS_NAVIGATOR; }