Method check

java/com/jcraft/jzlib/GZIPOutputStream.java:60–63

()

  private void check() throws GZIPException {
    if(deflater.dstate.status != 42 /*INIT_STATUS*/)
      throw new GZIPException("header is already written.");
  }

  public void setModifiedTime(long mtime) throws GZIPException {
    check();