rem: if (aChecked==true) 
add: if (aChecked) 
context: function createCheckboxMenuItem( aParent, aIndex, aLabel, aChecked)  {    var menuitem = document.createElement( "menuitem" );    menuitem.setAttribute( "type", "checkbox" );    menuitem.setAttribute( "label", aLabel );    menuitem.setAttribute( "index", aIndex );    if (aChecked==true)      menuitem.setAttribute( "checked", "true" );    aParent.appendChild( menuitem );  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/04d0e89a91d7a76d086d46879d881774bb973c95/sessionHistoryUI.js/buggy/suite/browser/sessionHistoryUI.js