Hotjava browser: click here for manual start-up.