Changes to support Java webstart deployment.