rem: EchoCore.Scheduler._stop(); 
add: runnable._nextExecution = null; 
context: EchoCore.Scheduler._execute = function() {    var time = new Date().getTime();        for (var i = 0; i < EchoCore.Scheduler._runnables.length; ++i) {        var runnable = EchoCore.Scheduler._runnables[i];        if (runnable._nextExecution < time) {            try {                runnable.run();            } catch (ex) {                EchoCore.Scheduler._stop();                throw(ex);            }            if (runnable.timeInterval && runnable.repeat) {                runnable._nextExecution = runnable.timeInterval + time;            }        }    }    if (EchoCore.Scheduler._runnables.length == 0) {        EchoCore.Scheduler._stop();    }};
meta: 600	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/600/51d1f2c233c7e1d5d5a9cd7b9dcdd45c6b18f256/Core.js/buggy/src/webcontainer/java/nextapp/echo/webcontainer/resource/js/Core.js