Support building and running with Java 17

[kevin-m-knight-gs]

Support building and running with Java 17. The system remains compatible with both Java 8 and 11.

Upgrade the project workflows to use Java 17 instead of 11.

Note that because dynamic compilation of generated Java code is done with source and target Java 7, the system remains incompatible with Java 20 and later (as support for source/target/release 7 was dropped in Java 20).

[github-actions[bot]]

Test Results

   537 files  ±0     537 suites  ±0   23m 33s :stopwatch: -9s 3 951 tests ±0  3 919 :heavy_check_mark: ±0  32 :zzz: ±0  0 :x: ±0  5 270 runs  ±0  5 238 :heavy_check_mark: ±0  32 :zzz: ±0  0 :x: ±0 

Results for commit 59b9e750. ± Comparison against base commit 3d810dfa.