public static DomElementsNavigationManager getManager(Project project) {
    return project.getService(DomElementsNavigationManager.class);
  }
public static DomElementsNavigationManager getManager(Project project)