anchor.diff:      out.print("</tr>"); 
       
       Set<String> displayedJobs = new HashSet<String>();
  -    for (Path jobFile: jobFiles) {
  +    for (int i = start - 1; i < start + length - 1; ++i) {
  +      Path jobFile = jobFiles[i];
  +      
         String decodedJobFileName = 
             JobHistory.JobInfo.decodeJobHistoryFileName(jobFile.getName());
   
  
positive.code:       out.print("<td>" + user + "</td>"); 
        out.print("</tr>");
      }
  %> 
  </body></html>
  
negative.code:       }
      });
  
      out.println("<br><br>");
  
      // print the navigation info (top)
      printNavigation(pageno, size, maxPageNo, search, out);
  
      out.print("<table align=center border=2 cellpadding=\"5\" cellspacing=\"2\">");
      out.print("<tr>");
      out.print("<td>Job tracker Host Name</td>" +
                "<td>Job tracker Start time</td>" +
  