zip infrastructure bug?

[Alexandre Petit-Bianco]

Anthony Green writes:

> This makes sense, given that a jar file produced by Sun's jar tool
> works. 

Well, they might be different enough so that the bug doesn't occur.

> Have you tried unzipping the jar file?  Or unjar'ing it with Sun's
> jar tool?

Sun's jar tool didn't notice anything wrong. I deflated both jars with
Sun's jar into different trees and compared them file by file, they
where identical...

./A