zip infrastructure bug?

Thu Oct 18 22:21:00 GMT 2001

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