dojo.provide = function(/*String*/ resourceName){                     return dojo.hostenv.startPackage.apply(dojo.hostenv, arguments); } 
dojo.provide=function(_65){ return dojo.hostenv.startPackage.apply(dojo.hostenv,arguments); }; 
dojo.provide = function(/*String*/ resourceName){  // summary  //  Each javascript source file must have (exactly) one dojo.provide()  //  call at the top of the file, corresponding to the file name.  //  For example, dojo/src/foo.js must have dojo.provide("dojo.foo"); at the top of the file.  //  // description  //  Each javascript source file is called a resource.  When a resource  //  is loaded by the browser, dojo.provide() registers that it has  //  been loaded.  //    //  For backwards compatibility reasons, in addition to registering the resource,  //  dojo.provide() also ensures that the javascript object for the module exists.  For  //  example, dojo.provide("dojo.html.common"), in addition to registering that common.js  //  is a resource for the dojo.html module, will ensure that the dojo.html javascript object  //  exists, so that calls like dojo.html.foo = function(){ ... } don't fail.  //  //  In the case of a build (or in the future, a rollup), where multiple javascript source  //  files are combined into one bigger file (similar to a .lib or .jar file), that file  //  will contain multiple dojo.provide() calls, to note that it includes  //  multiple resources.  return dojo.hostenv.startPackage.apply(dojo.hostenv, arguments);}
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