anchor.diff:              return;
           }
   
  +        //
  +        //  We expire ALL locks at this moment, simply because someone has
  +        //  already broken it.
  +        //
  +        PageLock lock = wiki.getPageManager().getCurrentLock( wikipage );
  +        wiki.getPageManager().unlockPage( lock );
  +        session.removeAttribute( "lock-"+pagereq );
  +
           wiki.saveText( pagereq,
                          wiki.safeGetParameter( request, "text" ),
                          request );
  
positive.code:     String action  = request.getParameter("action");
      String ok      = request.getParameter("ok");
      String preview = request.getParameter("preview");
  
      //
      //  Set the response type before we branch.
      //
  
      response.setContentType("text/html; charset="+wiki.getContentEncoding() );
  
      //log.debug("Request character encoding="+request.getCharacterEncoding());
      //log.debug("Request content type+"+request.getContentType());
  
negative.code: <%@ page import="org.apache.log4j.*" %>
  <%@ page import="com.ecyrd.jspwiki.*" %>
  <%@ page import="java.util.*,java.text.SimpleDateFormat" %>
  <%@ page import="com.ecyrd.jspwiki.tags.WikiTagBase" %>
  <%@ page import="com.ecyrd.jspwiki.WikiProvider" %>
  <%@ page errorPage="/Error.jsp" %>
  