anchor.diff:    <TR>
       <TD WIDTH="15%" VALIGN="top">
          <%@ include file="LeftMenu.jsp" %>
  +       <BR><BR>
          <P>
  -       <A HREF="Wiki.jsp?page=EditingWikiPages">Help on editing</A>
          <A HREF="Edit.jsp?page=<%=pagereq%>">Go edit <%=pagereq%></A>
          </P>
  +       <P>
          <%@ include file="LeftMenuFooter.jsp" %>
  +       </P>
       </TD>
       <TD WIDTH="85%" VALIGN="top">
         <H1>Concurrent modification of <%=pagereq%></H1>
  
positive.code:       <B>Oops!  Someone modified the page while you were editing it!</B>
        </P>
  
        <P>Since I am stupid and can't figure out what the difference 
        between those pages is, you will need to do that for me.  I've printed here
        the text (in Wiki) of the new page, and the modifications you made.  You'll
        now copy the text onto a scratch pad (Notepad or emacs will do just fine),
        and then edit the page again.</P>
  
        <P>Note that when you go back into the editing mode, someone might have
        changed the page again.  So be quick.</P>
  
negative.code:     }
  
      // FIXME: Should the usertext be removed from the session?
      String usertext = (String)request.getSession().getAttribute("usertext");
  
      log.info("Page concurrently modified "+pagereq);
  %>
  