return shortenName(table.getName(), getPlatformInfo().getMaxIdentifierLength());
return shortenName(table.getName(), getMaxTableNameLength());
    public String getTableName(Table table)    {        return shortenName(table.getName(), getPlatformInfo().getMaxIdentifierLength());    }