Fix Ant webstart task fail build due to updated JRE and old proguard, and update website files.