[isabelle-dev] Broken component: jdk7u40

[Bertram Felgenhauer]

Lars Hupel wrote:
> I was trying to update to the repository version today, but:
> 
> $ bin/isabelle components -a
> ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40"
> Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"
> Unpacking "/home/lars/.isabelle/contrib/jdk-7u40.tar.gz"
> tar: Skipping to next header
> tar: A lone zero block at 840553
> tar: Exiting with failure status due to previous errors

This happens here, too. I have two copies of the jdk-7u40.tar.gz file,
one three days old, with sha1sum
  dd24d63afd6d17b29ec9cb2b2464d4ff2e02de2c
and one downloaded today with sha1sum
  246651f97aacf79b9833ff8988bb1f5e7263037b
The latter file produces the error from above when unpacked.
Re-downloading doesn't help; the file checksum stays the same.

The two files are almost identical; they have the same size, and just a
few bytes differ in the 8kb block starting at offset 185348096.

Bertram