add: } 
context:     Array.prototype.push = function() {        var sub = this.length;        for (var i = 0; i < push.arguments.length; ++i) {            this[sub] = push.arguments[i];            sub++;        }    }
meta: 266	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/266/769a5807f342d8541951d74937d724ab38fcafe0/engine.js/buggy/java/uk/ltd/getahead/dwr/engine.js