public virtual void Flush(Stream stream)
{
OutputStreamDataOutput dos = new OutputStreamDataOutput(stream);
try
{
dos.WriteInt(this.counter);
// write the labelRepository
this.labelRepository.Flush(dos);
// Closes the data output stream
dos.Dispose();
}
finally
{
dos.Dispose();
}
}
