public OccurenceInfo goNextOccurence() { return isTreeView() ? myTreeView.goNextOccurence() : null; }