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