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.
Andrej Šmigala <asmigala> updated the status of jira TEIIDDES-2549 to Closed