tree 7f1ee5336e9311677537af6ddb7fec197449a81a
parent c1f262302cf6984865066f02d1e76e026ceb4190
author Gary Gregory <garydgregory@gmail.com> 1632841458 -0400
committer Gary Gregory <garydgregory@gmail.com> 1632841458 -0400

Update GitHub build from Java 16 to 17.

Update GitHub build from Java 17-EA to 18-EA but comment it (not there
yet).