void (final DomElement element) { if (element != null && element.isValid()) { final DomElement copy = element.createStableCopy(); final Project project = element.getManager().getProject(); final DomElementNavigationProvider navigateProvider = getNavigationProviderName(project); if (navigateProvider != null && navigateProvider.canNavigate(copy)) { ApplicationManager.getApplication().invokeLater(() -> { if (!project.isDisposed()) { doNavigate(navigateProvider, copy); } }); } } }