rem: var enabled = gJVMMgr.JavaEnabled(); 
context: function javaItemEnabling(){    var enabled = gJVMMgr.JavaEnabled();    var element = document.getElementById("java");    if (enabled)      element.removeAttribute("disabled");    else      element.setAttribute("disabled", "true");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9c59aab409a7ad5ab347466ce2f7e4eb92e7336d/tasksOverlay.js/clean/xpfe/communicator/resources/content/tasksOverlay.js