public void flush() throws IOException {
  ensureOpen();
  if (!inf.finished()) {
    try {
      while (!inf.finished() && !inf.needsInput()) {
        int n;
        n=inf.inflate(buf,0,buf.length);
        if (n < 1) {
          break;
        }
        out.write(buf,0,n);
      }
      super.flush();
    }
 catch (    DataFormatException ex) {
      String msg=ex.getMessage();
      if (msg == null) {
        msg="Invalid ZLIB data format";
      }
      throw new ZipException(msg);
    }
  }
}

public void flush ( ) throws IOException { ensureOpen ( ) ; if ( ! inf . finished ( ) ) { try { while ( ! inf . finished ( ) && ! inf . needsInput ( ) ) { int n ; n = inf . inflate ( buf , 0 , buf . length ) ; if ( n < 1 ) { break ; } out . write ( buf , 0 , n ) ; } super . flush ( ) ; } catch ( DataFormatException ex ) { String msg = ex . getMessage ( ) ; if ( msg == null ) { msg = "Invalid ZLIB data format" ; } throw new ZipException ( msg ) ; } } }
flushes this output stream , forcing any pending buffered output bytes to be written .
