setFormatter:function(formatter){ dojo.unimplemented("setFormatter"); }, 
dojo.lang.extend(dojo.logging.LogHandler,{setFormatter:function(_53d){ dojo.unimplemented("setFormatter"); },flush:function(){ 
  setFormatter:function(formatter){    dojo.unimplemented("setFormatter");  },
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js