/**@class java.util.zip.GZIPInputStream
@extends java.util.zip.InflaterInputStream

 This class implements a stream filter for reading compressed data in
 the GZIP file format.

 @see         InflaterInputStream
 @author      David Connelly

*/
var GZIPInputStream = {

/** GZIP header magic number.
*/
GZIP_MAGIC : "35615",
/**Reads uncompressed data into an array of bytes. If <code>len</code> is not
 zero, the method will block until some input can be decompressed; otherwise,
 no bytes are read and <code>0</code> is returned.
@param {Object {byte[]}} buf the buffer into which the data is read
@param {Number} off the start offset in the destination array <code>b</code>
@param {Number} len the maximum number of bytes read
@return {Number} the actual number of bytes read, or -1 if the end of the
          compressed input stream is reached
@exception NullPointerException If <code>buf</code> is <code>null</code>.
@exception IndexOutOfBoundsException If <code>off</code> is negative,
 <code>len</code> is negative, or <code>len</code> is greater than
 <code>buf.length - off</code>
@exception ZipException if the compressed input data is corrupt.
@exception IOException if an I/O error has occurred.
*/
read : function(  ) {},

/**Closes this input stream and releases any system resources associated
 with the stream.
@exception IOException if an I/O error has occurred
*/
close : function(  ) {},


};