rem: if (name == "borderWidth") this._button.style.borderWidth = value; 
context:     setStyle: function(name, value) {        arguments.callee.$.call(this, name, value);        if (name == "borderWidth") this._button.style.borderWidth = value;    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/08678d7dea9b1128e89dae68c0cc8da8c8dec68c/DropDown.js/buggy/src/thinwire/render/web/resources/DropDown.js