Le Thu, Jul 25, 2013 at 12:13:12AM +0200, Bill Allombert a écrit : > > A .jar file is not a compressed file in the sense it is not meant to be uncompressed > with unzip or zless etc. I agree. Shall we close that bug ? Or add the above as a footnote if it is felt necessary ? Have a nice week-end, -- Charles