anchor.diff:  
   String hdPath      = request.getParameter("hdPath") ;
   String fileSrc     = request.getParameter("txtField") ;
  -boolean doSave     = (fileSrc != null) ? true : false ;
  -boolean isReadonly = (request.getParameter("readonly") != null) ? true : false ;
  +boolean doSave     = "POST".equalsIgnoreCase(request.getMethod()) && fileSrc != null ;
  +boolean isReadonly = request.getParameter("readonly") != null ;
   
   String theSearchString = (request.getParameter("searchString") != null) ? request.getParameter("searchString") : "" ;
   
  
positive.code: } ;
  
   /* 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; 
  String[] fuckedUpUmlingBack = new String[] {
   "&amp;", "&#$1;"
  } ;
  
negative.code: 
  
  } else if (!isEditable) {
  
  	out.print("The file is not editable!") ;
  	return ;
  
  }
  
  /*
  