The prob_prolog Gradle build creates its own TLA2B.jar from the released
jars on Maven Central, not using this task.

The openjdk images are no longer updated, aside from early-access
builds. See:

* https://hub.docker.com/_/openjdk/
* https://github.com/docker-library/openjdk/issues/505

Because the code currently uses a method that's not in the release
version yet. Once it's released, this should be changed to the
non-SNAPSHOT version.

Because it's not super obvious to me what's the right way to fix it.

Because in practice the tests never use more than one path.

This will avoid the version number getting outdated again in the future.

This has stayed at 1.0.8 for the past 8 years. Oops.

This currently causes a few tests to fail because of operator
associativity issues.

The AST form is only used for comparisons in tests, so the exact format
doesn't matter.

With a quick fix for ExtendedDFAdapter to make it work with the current
parser, but we should work on replacing this class as soon as possible,
because it will break unnecessarily for most changes to the B AST.