> I also tried to download jdk7u40 today (twice), and ran into the very same > problem. > Maybe someone should check the configuration of the web server? I just mailed the local sysadmins about that issue. Since this seems to occur every now and then, we'll have to investigate that further. I'll keep you posted about that.