anchor.diff:    public boolean inHeader = false;
     public boolean start = false;
     public int listLevel = 0;
  -  boolean nowiki = false;
  -  boolean cpp = false;
  -  boolean html = false;
  -  boolean java = false;
  -  boolean xhtml = false;
  -  boolean xml = false;
     boolean intr = false;
   
     public void doHdr() {
  
positive.code:     listLevel = 0;
      inHeader = false;
      intr = false;
      nowiki = false;
      cpp = false;
      html = false;
      java = false;
      xhtml = false;
      xml = false;
    }
  
    public String[] thisKillsTheFormatting() {
  
negative.code: IEnd : '//' {italic.active && !prior().matches("[a-zA-Z0-9]:")}? {unsetFormatting(italic);} ;
  SEnd : '--' {strike.active}? {unsetFormatting(strike);} ;
  
  NoWiki     : '{{{'       -> mode(NOWIKI_INLINE) ;
  StartCpp   : '[<c++>]'   -> mode(CPP_INLINE) ;
  StartHtml  : '[<html>]'  -> mode(HTML_INLINE) ;
  StartJava  : '[<java>]'  -> mode(JAVA_INLINE) ;
  StartXhtml : '[<xhtml>]' -> mode(XHTML_INLINE) ;
  StartXml   : '[<xml>]'   -> mode(XML_INLINE) ;
  
  /* ***** Links ***** */
  
  