anchor.diff:          return;
       }
   
  +    session.removeAttribute( EditorManager.REQ_EDITEDTEXT );
  +
       log.info("Editing page "+pagereq+". User="+user+", host="+request.getRemoteAddr() );
   
       //
  
positive.code:         }
          catch( RedirectException ex )
          {
              // wikiContext.getWikiSession().addMessage( ex.getMessage() ); // FIXME: should work, but doesn't
              session.setAttribute( VariableManager.VAR_MSG, ex.getMessage() );
              response.sendRedirect( ex.getRedirect() );
              return;
          }
  
negative.code:     String contentPage = wiki.getTemplateManager().findJSP( pageContext,
                                                              wikiContext.getTemplate(),
                                                              "EditTemplate.jsp" );
  
  %><wiki:Include page="<%=contentPage%>" />