anchor.diff:        <th>Location in META</th>
         <th>Reported Online RegionServers</th>
       </tr>
  -    <% for (Map.Entry<String, Pair<ServerName, List<ServerName>>> entry : inconsistentRegions.entrySet()) { %>
  +    <% for (Map.Entry<String, Pair<ServerName, List<ServerName>>> entry : inconsistentRegions.entrySet()) {%>
       <tr>
         <td><%= entry.getKey() %></td>
  -      <td><%= entry.getValue().getFirst() %></td>
  -      <td><%= entry.getValue().getSecond().stream().map(ServerName::getServerName)
  -                        .collect(Collectors.joining(", ")) %></td>
  +      <td><%= formatServerName(master, serverManager, entry.getValue().getFirst()) %></td>
  +      <td><%= entry.getValue().getSecond().stream().map(s -> formatServerName(master, serverManager, s)).
  +        collect(Collectors.joining(", ")) %></td>
       </tr>
       <% } %>
  -
       <p><%= inconsistentRegions.size() %> region(s) in set.</p>
     </table>
     <% } %>
  
positive.code:   </div>
        <p>
          <span>
          There are three cases: 1. Master thought this region opened, but no regionserver reported it (Fix: use assigns
          command); 2. Master thought this region opened on Server1, but regionserver reported Server2 (Fix:
          need to check the server is still exist. If not, schedule SCP for it. If exist, restart Server2 and Server1):
          3. More than one regionservers reported opened this region (Fix: restart the RegionServers).
          Notice: the reported online regionservers may be not right when there are regions in transition.
          Please check them in regionserver's web UI.
          </span>
  
negative.code: </div>
  
  <jsp:include page="footer.jsp"/>
  
  <%!
  /**
   * Format serverName for display.
   * If a live server reference, make it a link.
   * If dead, make it italic.
   * If unknown, make it plain.
   */
  private static String formatServerName(HMaster master,
     ServerManager serverManager, ServerName serverName) {
    String sn = serverName.toString();
    if (serverManager.isServerOnline(serverName)) {
      int infoPort = master.getRegionServerInfoPort(serverName);
      if (infoPort > 0) {
        return "<a href=" + "//" + serverName.getHostname() + ":" +
          infoPort + "/rs-status>" + sn + "</a>";
      } else {
        return "<b>" + sn + "</b>";
      }
    } else if (serverManager.isServerDead(serverName)) {
      return "<i>" + sn + "</i>";
    }
    return sn;
  }
  %>
  