Designer considers the current Teiid version as unsupported

Selecting Teiid 8.7.1 as the default server results in two messages about unsupported server version, even though it is supported. This is very confusing for the user.