// should not happen
Log.logSevere("Table", "", e);
}
if (fos != null) try { fos.close(); } catch (final IOException e) {}
this.file = new BufferedRecords(new Records(f, this.rowdef.objectsize), this.buffersize);
// initialize index and copy table
this.table = (this.table == null) ? null : new RowSet(this.taildef);
this.index.clear();
}