@artoonie are you ok with me upgrading from JDK 17 to 20 in the next week or two (along with all the other deps), or would that be disruptive to your workflow?

Won't be disruptive to me -- go for it!

Address this warning that's been popping up as well:

The JavaExec.main property has been deprecated. This is scheduled to be removed in Gradle 8.0. Please use the mainClass property instead. See https://docs.gradle.org/7.5.1/dsl/org.gradle.api.tasks.JavaExec.html#org.gradle.api.tasks.JavaExec:main for more details.

Possibly relevant: When building on GH like this, this message appears:

Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.

@tarheel @artoonie recommend grabbing JDK 20.0.1 from here and getting that going in IntelliJ.

Re-opening this since JDK / deps will surely have new versions by the time we actually get 1.4.0 released.