code: public void write(DataOutputStream dos) throws IOException {
          dos.writeInt(MAGIC_NUMBER);
          dos.writeShort(fileFormatVersion.getVersion());
      }
docs: Writes this preamble out to the specified output stream.
  @param dos The {@link DataOutputStream}.
  @throws IOException If there was a problem writing to the specified stream.