rem: button.getManager().remove( button ); 
add:    if( button.getManager ) { button.getManager().remove( button ); } 
context: org.eclipse.rap.rwt.ButtonUtil.disposeRadioButton = function( button ) {  button.getManager().remove( button );}
meta: 8114	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8114/6ab78b5f117503a541e31b53440d6a1d10bf6519/ButtonUtil.js/clean/bundles/org.eclipse.rap.rwt/js/org/eclipse/rap/rwt/ButtonUtil.js