  if (this.isRunning){ dj_global.clearInterval(this.timer); } this.interval = interval; if (this.isRunning){ this.timer = dj_global.setInterval(dojo.lang.hitch(this, "onTick"), this.interval); } }, 
  if (this.isRunning){ dj_global.clearInterval(this.timer); } this.interval = interval; if (this.isRunning){ this.timer = dj_global.setInterval(dojo.lang.hitch(this, "onTick"), this.interval); } }, 
  setInterval : function(interval){    // summary: Reset the interval of a timer, whether running or not.    // interval: New interval, in milliseconds.    if (this.isRunning){      dj_global.clearInterval(this.timer);    }    this.interval = interval;    if (this.isRunning){      this.timer = dj_global.setInterval(dojo.lang.hitch(this, "onTick"), this.interval);    }  },
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/65ae7e8768a77997b7894e274bc242069a1cb027/struts_dojo.js.uncompressed.js/clean/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js