code: public void flush() throws IOException {
          if (this.out != null) {
              this.out.flush();
          }
          if (this.diskStream != null) {
              this.diskStream.flush();
          }
      }
docs: /* (non-Javadoc)
  @see java.io.OutputStream#flush()