Webstart fixes.