Updates the data size in the file header, writes the CRC, and closes the file.
In Android (Java) this can take 3.5 seconds for a 90 minute activity generating a 138 kB file. FileEncoder must be backed-up with a buffered writer which is flushed during .close().
Is it possible to set a smaller buffer or flush the buffer so closing doesn't interrupt the user experience?
