anchor.diff:  
         <INPUT type="hidden" name="page" value="<%=pagereq%>">
         <INPUT type="hidden" name="action" value="save">
  -      <INPUT type="hidden" name="edittime" value="<%=wiki.pageLastChanged(pagereq).getTime()%>">
  +      <INPUT type="hidden" name="edittime" value="<%=lastchange%>">
   
         <TEXTAREA name="text" rows="25" cols="80"><%=wiki.getText(pagereq)%></TEXTAREA>
   
  
positive.code:     }
  
      log.info("Editing page "+pagereq);
  %>
  
  <HTML>
  
negative.code:         //  is the best place to show errors, though.
         
          long pagedate   = Long.parseLong(request.getParameter("edittime"));
          Date change     = wiki.pageLastChanged( pagereq );
  
          if( change != null && change.getTime() != pagedate )
          {
              //
              // Someone changed the page while we were editing it!
  