anchor.diff:  
   
   } else if (!isEditable) {
  -	
  +
   	out.print("The file is not editable!") ;
   	return ;
  -	
  +
   }
   
   /*
  
positive.code: 	"|(\\.LOG+)" +
  	"/i" ;
  
  String IMG_PATH   = request.getContextPath()+"/imcms/"+Utility.getLoggedOnUser( request ).getLanguageIso639_2()+"/images/admin/" ; // path to buttons (with trailing /)
  
  /* *******************************************************************
   *           INIT                                                    *
  
negative.code: 
  String hdPath      = request.getParameter("hdPath") ;
  String fileSrc     = request.getParameter("txtField") ;
  boolean doSave     = "POST".equalsIgnoreCase(request.getMethod()) && fileSrc != null ;
  boolean isReadonly = request.getParameter("readonly") != null ;
  
  String theSearchString = (request.getParameter("searchString") != null) ? request.getParameter("searchString") : "" ;
  
  