protected void writeNothingAndFlush() throws IOException {
  fos.writeInt(0);
  fos.flush();
}

protected void writeNothingAndFlush ( ) throws IOException { fos . writeInt ( 0 ) ; fos . flush ( ) ; }
used to write a marker for eof
