add: this._activateListenerWidgets = null; 
context:   destruct : function() {    this.removeEventListener( "changeActiveChild", this._onChangeActiveChild );    this.removeEventListener( "changeActive", this._onChangeActive );    this.removeEventListener( "keydown", this._onKeydown );    var req = org.eclipse.swt.Request.getInstance();    req.removeEventListener( "send", this._onSend, this );////////////////////////////////////////////////// TODO [fappel] experimental (rounded corners)//    this.removeEventListener( "changeWidth", this._adjustCornerLeft() );//    this.removeEventListener( "changeHeight", this._adjustCornerTop() );// TODO [fappel]: remove rounded corners/////////////////////////////////////////////////      },
meta: 8114	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8114/6c7100c1c4261efe7ac825d0f84cdf607eac99b9/Shell.js/clean/bundles/org.eclipse.rap.rwt/js/org/eclipse/swt/widgets/Shell.js