this.name = newName; if (this.map != null) this.map.events.triggerEvent("changelayer"); 
if (newName != this.name) { this.name = newName; if (this.map != null) { this.map.events.triggerEvent("changelayer"); } } 
    setName: function(newName) {        this.name = newName;        if (this.map != null)            this.map.events.triggerEvent("changelayer");    },    
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/1603d5a8ba7dfaaa2dc66305ecce6bf0c8d5b4fc/Layer.js/buggy/lib/OpenLayers/Layer.js