rem: try{ var cid = Components.classes['@mozilla.org/oji/jvm-mgr;1']; var iid = Components.interfaces.nsIJVMManager; var jvmMgr = cid.getService(iid); jvmMgr.ShowJavaConsole(); } catch(e) {  } 
add: gJVMMgr.ShowJavaConsole(); 
context: function toJavaConsole(){	try{		var cid =			Components.classes['@mozilla.org/oji/jvm-mgr;1'];		var iid = Components.interfaces.nsIJVMManager;		var jvmMgr = cid.getService(iid);		jvmMgr.ShowJavaConsole();	} catch(e) {			}}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/ae4aeeb4f0ced9dc91f16afb97cae1e413db27e8/tasksOverlay.js/buggy/suite/common/tasksOverlay.js