rem: EchoCore.Scheduler._interval = window.setInterval("EchoCore.Scheduler._execute();", EchoCore.Scheduler.INTERVAL); 
add: EchoCore.Scheduler._interval = window.setInterval(EchoCore.Scheduler._execute, EchoCore.Scheduler.INTERVAL); 
context: EchoCore.Scheduler._start = function() {    if (EchoCore.Scheduler._interval != null) {        return;    }    EchoCore.Scheduler._interval = window.setInterval("EchoCore.Scheduler._execute();", EchoCore.Scheduler.INTERVAL);    };
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