jdk/src/java.base/share/classes/java/util/zip/GZIPOutputStream.java
changeset 32649 2ee9017c7597
parent 25859 3317bb8137f4
child 45434 4582657c7260
equal deleted inserted replaced
32648:1fa861caf840 32649:2ee9017c7597
    42     protected CRC32 crc = new CRC32();
    42     protected CRC32 crc = new CRC32();
    43 
    43 
    44     /*
    44     /*
    45      * GZIP header magic number.
    45      * GZIP header magic number.
    46      */
    46      */
    47     private final static int GZIP_MAGIC = 0x8b1f;
    47     private static final int GZIP_MAGIC = 0x8b1f;
    48 
    48 
    49     /*
    49     /*
    50      * Trailer size in bytes.
    50      * Trailer size in bytes.
    51      *
    51      *
    52      */
    52      */
    53     private final static int TRAILER_SIZE = 8;
    53     private static final int TRAILER_SIZE = 8;
    54 
    54 
    55     /**
    55     /**
    56      * Creates a new output stream with the specified buffer size.
    56      * Creates a new output stream with the specified buffer size.
    57      *
    57      *
    58      * <p>The new output stream instance is created as if by invoking
    58      * <p>The new output stream instance is created as if by invoking