Bumps compatibility to 231 and newer, updates a few deprecated API usages (excluding one that is unfixable due to IDEA-340399), and fixes a few minor issues in docs and in tests (such as correctly uninstalling the thread-violation manager, and uninstalling only at the end of the very class).
Ready for releasing v3.1.0!
Bumps compatibility to 231 and newer, updates a few deprecated API usages (excluding one that is unfixable due to IDEA-340399), and fixes a few minor issues in docs and in tests (such as correctly uninstalling the thread-violation manager, and uninstalling only at the end of the very class).