docs: private PositionInfo getPositionInfo(List<CmsJspNavElement> navigation, int index) {
  
          if ((index < 0) || (index >= navigation.size())) {
              return new PositionInfo(false, -1);
          }
          float navPos = navigation.get(index).getNavPosition();
          return new PositionInfo(true, navPos);
      }