code: 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);
      }
docs: Gets the position info bean for a given position.<p>
  
  @param navigation the navigation element list
  @param index the index in the navigation element list
  
  @return the position info bean for a given position