add:  var script = document.createElement("script"); script.type = "text/javascript"; script.language = "JavaScript"; script.src = url; getHead().appendChild(script); 
context:             var includeJavascriptFile = function(url) {                if (document.body == null) {                    document.write("<script src='" + url + "' type='text/javascript'></script>");                } else {                    var script = document.createElement("script");                    script.type = "text/javascript";                    script.language = "JavaScript";                    script.src = url;                    getHead().appendChild(script);                }            };
meta: 6925	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6925/84b663bf5574841d900de85de6c3d85de75de582/timeline-api.js/buggy/src/webapp/api/timeline-api.js