rem: if (enabled) 
add: if (navigator.javaEnabled()) 
context: function javaItemEnabling(){    var enabled = gJVMMgr.JavaEnabled();    var element = document.getElementById("java");    if (enabled)      element.removeAttribute("disabled");    else      element.setAttribute("disabled", "true");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/8eeb06f3d78ff4640ec746bcb41d3eedfd7b79f1/tasksOverlay.js/buggy/suite/common/tasksOverlay.js