rem: var scriptElement = document.createElement("script"); scriptElement.type="text/javascript"; _globalScope.setTimeout(function() {scriptElement.src = lib;},0); head.appendChild(scriptElement); 
add: head.appendChild(se); 
context:     this.addLibrary = function(lib) {        var added = false;        for (var l=0; l < libraries.length; l++) {            if (libraries[l] == lib) {                added = true;            }        }        if (!added) {            libraries.push(lib);            var head = document.getElementsByTagName("head")[0];            var scriptElement = document.createElement("script");            scriptElement.type="text/javascript";            _globalScope.setTimeout(function() {scriptElement.src = lib;},0);            head.appendChild(scriptElement);        }    }
meta: 8755	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8755/6e162b8d8fc20add94375f60aa541ff3ec9927ae/jmaki.js/buggy/code/run-time/samples/jmaki/src/main/webapp/resources/jmaki.js