@Override
  public void navigate(boolean requestFocus) {
    if (myNavigationProvider != null) myNavigationProvider.navigate(myElement, requestFocus);
  }
@Override
  public void navigate(boolean requestFocus)