void (Editor editor, Collection<? extends NavigatablePsiElement> superElements, @PopupTitle String title) { if (!superElements.isEmpty()) { NavigatablePsiElement[] superElementArray = superElements.toArray(NavigatablePsiElement.EMPTY_NAVIGATABLE_ELEMENT_ARRAY); if (superElementArray.length == 1) { superElementArray[0].navigate(true); } else { NavigationUtil.getPsiElementPopup(superElementArray, title).showInBestPositionFor(editor); } } }