add: var msg = "You tried to add the layer: " + layer.name + " to the map, but it has already been added"; OpenLayers.Console.warn(msg); 
context:     addLayer: function (layer) {        for(var i=0; i < this.layers.length; i++) {            if (this.layers[i] == layer) {                return false;            }        }                    layer.div.style.overflow = "";        this.setLayerZIndex(layer, this.layers.length);        if (layer.isFixed) {            this.viewPortDiv.appendChild(layer.div);        } else {            this.layerContainerDiv.appendChild(layer.div);        }        this.layers.push(layer);        layer.setMap(this);        if (layer.isBaseLayer)  {            if (this.baseLayer == null) {                // set the first baselaye we add as the baselayer                this.setBaseLayer(layer);            } else {                layer.setVisibility(false);            }        } else {            if (this.getCenter() != null) {                layer.moveTo(this.getExtent(), true);               }        }        this.events.triggerEvent("addlayer");    },
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4411/289680f2585efa6af2571914b2a229bd6bd6d641/Map.js/buggy/lib/OpenLayers/Map.js