On June 30, Netscape Vice President Marc Andreessen made it clear that development of “Javagator” — the company’s much-ballyhooed all-Java version of its flagship Web browser — was over.

To disable Java on Internet Explorer you can use the Add-ons manager to disable Java(tm) Plug-in 2 SSV Helper and Sun Microsystems Deployment Toolkit. But this does not actually suffice.