anchor.diff:  } ;
   
    /* replace back. If any of them where in a script-block, they would have been rendered and saved wrongly.
  -    ie: &amp;nbsp; will be replaced with &nbsp; 
  +    ie: &amp;nbsp; will be replaced with &nbsp;
   String[] fuckedUpUmlingBack = new String[] {
    "&amp;", "&#$1;"
   } ;
  
positive.code: 
  
  } else if (!isEditable) {
  	
  	out.print("The file is not editable!") ;
  	return ;
  	
  }
  
  /*
  
negative.code: 	"|(\\.LOG+)" +
  	"/i" ;
  
      String IMG_PATH   = request.getContextPath()+"/imcms/"+user.getLanguageIso639_2()+"/images/admin/" ; // path to buttons (with trailing /)
  
  /* *******************************************************************
   *           INIT                                                    *
  