rem:  document.getElementById(checkboxID).checked = true;  
add: if (checkboxID && checkboxID.length > 0) {  document.getElementById(checkboxID).checked = true; } 
context: function SetCheckbox(checkboxID){  // Set associated checkbox  document.getElementById(checkboxID).checked = true;  if (currentPanel == CellPanel)    CellDataChanged = true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3190f883870ffeac4db029cb67d73d5b5e6f01e7/EdTableProps.js/buggy/editor/ui/dialogs/content/EdTableProps.js