Re: java.util.zip.InflaterInputStream patch

[Tom Tromey]

Mark> +          //add a padding byte, 
Mark> +          //it's necessary when using native zlib
Mark> +          ++len;

Mark> When is this needed?

I wonder if it is related to this comment in libgcj:

      /* Using the no_header option, zlib requires an extra padding byte at the
      end of the stream in order to successfully complete decompression (see
      zlib/contrib/minizip/unzip.c). We don't do this, so can end up with a 
      Z_BUF_ERROR at the end of a stream when zlib has completed inflation
      and there's no more input. Thats not a problem. */

Tom