mariadb-connector-j version 3.1.1 fails with ConcurrentModificationException while trying to parse properties

In our build, mariadb-connector-j / mariadb-java-client has recently been bumped from 3.1.0 to 3.1.1. Afterwards, DB connection initialisation started to fail in one of our projects: https://docs.google.com/document/d/1D6gGsmlyUWywx2288A_qmF2HkRTqAsk3CMNTc7RkZTc/edit?usp=sharing

It seems that due to a recent refactoring, Configuration.mapPropertiesToOption started to contain a removal from a Properties, possibly during an iteration over its keySet() (line 634): https://github.com/mariadb-corporation/mariadb-connector-j/commit/b1fc3a73119eeb6d5bcf4ec0521edca712eafdcb#diff-2573c2b3bd0420719971212a9d3d2268d8de6b1de6c54deb77e50f007501fe6eR634

Thank you for your help in advance.

Content reproduced on this site is the property of its respective owners, and this content is not reviewed in advance by MariaDB. The views, information and opinions expressed by this content do not necessarily represent those of MariaDB or any other party.