comment out Java webstart - it's too slow