*/
public void finish() throws IOException {
this.writeEOFRecord();
this.writeEOFRecord(); // TWO EOF records required
}
/**