rem: if (typeof console != "udefined" && ("_stopLevel" in console) && console._stopLevel != 0) return;  
context: function cmdReloadUI(){    if (typeof console != "udefined" &&         ("_stopLevel" in console) && console._stopLevel != 0)        return;        var bs = Components.classes["@mozilla.org/intl/stringbundle;1"];    bs = bs.createInstance(Components.interfaces.nsIStringBundleService);    bs.flushBundles();    window.location.href = window.location.href;}    
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e565073eca8ed4626567f9dcf8feb51505cef8c1/venkman-dev.js/clean/extensions/venkman/resources/content/venkman-dev.js