code: public static PoolInfoHtml getPoolInfoHtml(
        Map<PoolInfo, PoolInfo> redirects,
        PoolInfo poolInfo) {
      String redirectAttributes = null;
      if (redirects != null) {
        PoolInfo destination = redirects.get(poolInfo);
        if (destination != null) {
          redirectAttributes = "Redirected to " +
              PoolInfo.createStringFromPoolInfo(destination);
        }
      }
  
      String spanTag = (redirectAttributes != null) ?
          "<span class=\"ui-state-disabled\" title=\"" + redirectAttributes +
          "\">" : "<span>";
      String groupHtml = spanTag + poolInfo.getPoolGroupName() + "</span>";
      String poolHtml = spanTag +
          (poolInfo.getPoolName() == null ? "-" : poolInfo.getPoolName())
          + "</span>";
  
      return new PoolInfoHtml(groupHtml, poolHtml);
    }
docs: Generate the appropriate HTML for pool name (redirected info if necessary)
  @param redirects
  @param poolInfo
  @return Pair of group and pool html