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.