add:  if ( "checked" in aDataObject && element.getAttribute( "reversed" ) == "true" ) element.checked = !aDataObject.checked; 
context:     set_Checkbox:      function ( aElementID, aDataObject )        {          var element = wsm.contentArea.document.getElementById( aElementID );          wsm.generic_Set( element, aDataObject );        },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6051379e1540c9c96535a645412820d120f50413/nsWidgetStateManager.js/buggy/xpfe/global/resources/content/nsWidgetStateManager.js