Unless reviewing this on a commit-by-commit basis (rather than on the full diff), don't bother reviewing PR until #216 is merged, since this PR includes commits from the run-idea-code-cleanup branch, and it might be too confusing otherwise.
Accept a couple more simple clean-up changes suggested by IntelliJ IDEA Community Edition.
Note that src/org has been left alone, since that code is, I imagine, from third parties and very likely could be replaced by a future Mavenization (or other dependency manager) effort.
⚠️ JDK 21 language level was used to create this PR. It likely includes some Java language features not available in some earlier versions.
Unless reviewing this on a commit-by-commit basis (rather than on the full diff), don't bother reviewing PR until #216 is merged, since this PR includes commits from the
run-idea-code-cleanupbranch, and it might be too confusing otherwise.Accept a couple more simple clean-up changes suggested by IntelliJ IDEA Community Edition.
Note that
src/orghas been left alone, since that code is, I imagine, from third parties and very likely could be replaced by a future Mavenization (or other dependency manager) effort.⚠️ JDK 21 language level was used to create this PR. It likely includes some Java language features not available in some earlier versions.