if (this.contentDiv != null) { OpenLayers.Rico.Corner.changeOpacity(this.contentDiv, 
if (this.groupDiv != null) { OpenLayers.Rico.Corner.changeOpacity(this.groupDiv, 
    setOpacity:function(opacity) {         if (opacity != undefined) {            this.opacity = opacity;         }                if (this.div != null) {            if (this.contentDiv != null) {                OpenLayers.Rico.Corner.changeOpacity(this.contentDiv,                                                      this.opacity);            }        }    },  
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/c720e44c7cf9288a4f5e1687e4a9f64ade705b6d/AnchoredBubble.js/buggy/lib/OpenLayers/Popup/AnchoredBubble.js