rem:    if( button.getManager ) { button.getManager().remove( button ); 
add: var parent = button.getParent(); if( parent != null ) { var radioManager = parent.getUserData( "radioManager" ); radioManager.remove( button ); if( radioManager.getItems().length == 0 ) { parent.setUserData( "radioManager", null ); radioManager.dispose(); } 
context: org.eclipse.rap.rwt.ButtonUtil.disposeRadioButton = function( button ) {  // TODO [rh] revise this: sometimes button.getManager is undefined  //      could this be related to strange usage of parent.radioManager (see  //      createRadioButton)  if( button.getManager ) {    button.getManager().remove( button );  }}
meta: 8114	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8114/647dac1ad46dacee654f2fe403e5165375615559/ButtonUtil.js/buggy/bundles/org.eclipse.rap.rwt/js/org/eclipse/rap/rwt/ButtonUtil.js