public TableDataIO_Indexed(TableDefinition def) throws Exception { super(def); indexFile = BaseIO.getFile(def.getTableName() + "_" + def.getPK() + ".idx"); }