rem: EchoCore.Scheduler._stop = function() { if (EchoCore.Scheduler._interval == null) { return; 
add: _stop: function() { if (EchoCore.Scheduler._interval == null) { return; } window.clearInterval(EchoCore.Scheduler._interval); EchoCore.Scheduler._interval = null; 
context: EchoCore.Scheduler._stop = function() {    if (EchoCore.Scheduler._interval == null) {        return;    }    window.clearInterval(EchoCore.Scheduler._interval);    EchoCore.Scheduler._interval = null;};
meta: 600	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/600/4705113f80e2c9e4d43ad240349e3193f4caf648/Core.js/buggy/src/webcontainer/java/nextapp/echo/webcontainer/resource/js/Core.js