if(child.position){  var splitter = this._splitters[child.position]; splitter.destroy(); } 
	removeChild: function(/*Widget*/ child){		dijit._Container.prototype.removeChild.apply(this, arguments);		if(child.position){			//TODO: is this right?			var splitter = this._splitters[child.position];			splitter.destroy();		}		if(this._started){			this._layoutChildren(this.domNode, this._contentBox, this.getChildren());		}	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/5dae47a0d4ce26263c2c5f38c907ed3e5ba1e7f9/BorderContainer.js/clean/layout/BorderContainer.js