anchor.diff:  
       response.setContentType("text/html; charset="+wiki.getContentEncoding() );
   
  -    log.debug("Request character encoding="+request.getCharacterEncoding());
  -    log.debug("Request content type+"+request.getContentType());
  +    //log.debug("Request character encoding="+request.getCharacterEncoding());
  +    //log.debug("Request content type+"+request.getContentType());
       log.debug("preview="+preview+", ok="+ok);
   
       if( ok != null )
  
positive.code:     Date d = wiki.pageLastChanged( pagereq );
      if( d != null ) lastchange = d.getTime();
  
  %>
  
  <%@include file="templates/default/EditTemplate.jsp" %>
  
  <%
      NDC.pop();
  
negative.code:     {
          throw new ServletException("No page defined");
      }
  
      String skin = wiki.getTemplateDir();
  
      NDC.push( wiki.getApplicationName()+":"+pagereq );
  
  