anchor.diff:  
   <%
       String pagereq = wiki.safeGetParameter( request, "page" );
  -    String headerTitle = "Edit page ";
  +    String verstr  = request.getParameter("version");
  +    int    version = WikiProvider.LATEST_VERSION;
  +
  +    if( verstr != null )
  +    {
  +        version = Integer.parseInt(verstr);    
  +    }
   
       if( pagereq == null )
       {
  
positive.code: <%@ page import="com.ecyrd.jspwiki.*" %>
  <%@ page import="java.util.Calendar,java.util.Date" %>
  <%@ page import="com.ecyrd.jspwiki.tags.WikiTagBase" %>
  <%@ taglib uri="/WEB-INF/jspwiki.tld" prefix="wiki" %>
  
  <%! 
  
negative.code: 
      String pageurl = wiki.encodeName( pagereq );
  
      String action  = request.getParameter("action");
      String ok      = request.getParameter("ok");
      String preview = request.getParameter("preview");
  
      //
  