214215216217218219220221222223224
// Check if the column is an index if ( isIndex( mf )) { String name = table.getNameDef().getName() + "_" + col + "_index"; IndexDef index = new IndexDef( name, col ); ((TableDef) table ).addIndex( index ); } }