anchor.diff:  
   <!-- publicationCountsDisplayer.jsp -->
   <div id="publication-counts-displayer" class="collection-table">
  +
  +
  +<div class="header">
   <h3>Publications</h3>
   
   <c:choose>
  
positive.code:   </c:when>
    <c:otherwise>
      <p>Total number of publications:  ${totalNumberOfPubs}</p>
      <table>
        <thead>
          <tr>
  
negative.code:   </c:otherwise>
  </c:choose>
  </div>
  </div>
  <!-- /publicationCountsDisplayer.jsp -->
  