rem: }; 
add: } 
context: qx.Proto._modifyChecked = function(propValue, propOldValue, propData){  var vManager = this.getManager();  if (vManager)  {    if (propValue)    {      vManager.setSelected(this);    }    else if (vManager.getSelected() == this)    {      vManager.setSelected(null);    };  };  return qx.ui.menu.MenuCheckBox.prototype._modifyChecked.call(this, propValue, propOldValue, propData);};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/MenuRadioButton.js/clean/qooxdoo/source/script/qx/ui/menu/MenuRadioButton.js