javawebstart: Version based download.